Anne is big. Anne is blue. Anne is not furry. Anne is nice. Anne is white. Erin is big. Erin is furry. Erin is red. Erin is white. Gary is big. Gary is blue. Gary is furry. Gary is not nice. Gary is red. Gary is rough. Gary is white. Red people are furry. If Erin is red and Erin is white then Erin is nice. All red, white people are blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Red people are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If Erin is red and Erin is white then Erin is nice.
((("Erin" "is" "red" "+") ("Erin" "is" "white" "+")) -> ("Erin" "is" "nice" "+"))
All red, white people are blue.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Gary is furry.
True
1
proof
[(triple12 OR ((triple14) -> rule1))]
("Gary" "is" "furry" "+")
triple12
((triple14) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not white.
False
1
inv-proof
[(triple16)]
("Gary" "is" "white" "-")
triple16
Erin is blue.
True
3
proof
[(((triple8 triple9) -> rule3))]
("Erin" "is" "blue" "+")
((triple8 triple9) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not blue.
False
3
inv-proof
[(((triple8 triple9) -> rule3))]
("Erin" "is" "blue" "-")
((triple8 triple9) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is nice.[(triple4)] Anne is not furry.[(triple3)] Anne is white.[(triple5)] Erin is big.[(triple6)] Erin is furry.[(triple7 OR ((triple8) -> rule1))] Erin is red.[(triple8)] Erin is white.[(triple9)] Gary is big.[(triple10)] Gary is blue.[(triple11 OR ((triple14 triple16) -> rule3))] Gary is furry.[(triple12 OR ((triple14) -> rule1))] Gary is not nice.[(triple13)] Gary is red.[(triple14)] Gary is rough.[(triple15)] Gary is white.[(triple16)] @1: Erin is blue.[(((triple8 triple9) -> rule3))] Erin is nice.[(((triple8 triple9) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not furry.
("Anne" "is" "furry" "-")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
((triple8) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple11
((triple14 triple16) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple12
((triple14) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not nice.
("Gary" "is" "nice" "-")
triple13
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
Erin is blue.
("Erin" "is" "blue" "+")
((triple8 triple9) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple8 triple9) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1