Dave is big. Dave is smart. Dave is young. Erin is big. Erin is blue. Erin is rough. Gary is big. Gary is blue. Gary is furry. Gary is red. Gary is smart. Gary is young. All blue people are big.
Dave is big.
("Dave" "is" "big" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
All blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
Dave is smart.
True
1
proof
[(triple2)]
("Dave" "is" "smart" "+")
triple2
Dave is not smart.
False
1
inv-proof
[(triple2)]
("Dave" "is" "smart" "-")
triple2
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Dave is big.[(triple1)] Dave is smart.[(triple2)] Dave is young.[(triple3)] Erin is big.[(triple4 OR ((triple5) -> rule1))] Erin is blue.[(triple5)] Erin is rough.[(triple6)] Gary is big.[(triple7 OR ((triple8) -> rule1))] Gary is blue.[(triple8)] Gary is furry.[(triple9)] Gary is red.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is smart.
("Dave" "is" "smart" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
((triple5) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
((triple8) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12