Anne is kind. Anne is red. Anne is white. Charlie is big. Charlie is cold. Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. Red, round people are big. If Anne is red then Anne is round.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Red, round people are big.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If Anne is red then Anne is round.
((("Anne" "is" "red" "+")) -> ("Anne" "is" "round" "+"))
Charlie is round.
True
1
proof
[(triple9)]
("Charlie" "is" "round" "+")
triple9
Anne is not kind.
False
1
inv-proof
[(triple1)]
("Anne" "is" "kind" "-")
triple1
Anne is round.
True
2
proof
[(((triple2) -> rule2))]
("Anne" "is" "round" "+")
((triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is not round.
False
2
inv-proof
[(((triple2) -> rule2))]
("Anne" "is" "round" "-")
((triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
True
4
proof
[(((triple2 ((triple2) -> rule2)) -> rule1))]
("Anne" "is" "big" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is not big.
False
4
inv-proof
[(((triple2 ((triple2) -> rule2)) -> rule1))]
("Anne" "is" "big" "-")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Charlie is big.[(triple4 OR ((triple7 triple9) -> rule1))] Charlie is cold.[(triple5)] Charlie is kind.[(triple6)] Charlie is red.[(triple7)] Charlie is rough.[(triple8)] Charlie is round.[(triple9)] Charlie is white.[(triple10)] @1: Anne is round.[(((triple2) -> rule2))] @2: Anne is big.[(((triple2 ((triple2) -> rule2)) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
((triple7 triple9) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
triple9
Charlie is white.
("Charlie" "is" "white" "+")
triple10
Anne is round.
("Anne" "is" "round" "+")
((triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2