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