Erin is big. Erin is furry. Erin is green. Erin is kind. Erin is red. Erin is smart. Erin is young. Fiona is green. Fiona is smart. Fiona is young. Gary is furry. Gary is green. Gary is kind. Gary is red. Gary is young. Smart people are kind. All red people are smart. If Gary is young and Gary is big then Gary is green.
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Smart people are kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
All red people are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
If Gary is young and Gary is big then Gary is green.
((("Gary" "is" "young" "+") ("Gary" "is" "big" "+")) -> ("Gary" "is" "green" "+"))
Gary is kind.
True
1
proof
[(triple13 OR ((((triple14) -> rule2)) -> rule1))]
("Gary" "is" "kind" "+")
triple13
((((triple14) -> (rule2 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is not green.
False
1
inv-proof
[(triple12)]
("Gary" "is" "green" "-")
triple12
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4 OR ((triple6) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] Erin is red.[(triple5)] Erin is smart.[(triple6 OR ((triple5) -> rule2))] Erin is young.[(triple7)] Fiona is green.[(triple8)] Fiona is smart.[(triple9)] Fiona is young.[(triple10)] Gary is furry.[(triple11)] Gary is green.[(triple12)] Gary is kind.[(triple13 OR ((((triple14) -> rule2)) -> rule1))] Gary is red.[(triple14)] Gary is young.[(triple15)] @1: Fiona is kind.[(((triple9) -> rule1))] Gary is smart.[(((triple14) -> rule2))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
((triple6) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
((triple5) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple13
((((triple14) -> (rule2 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple9) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple14) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1