Anne is furry. Anne is quiet. Anne is smart. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is smart. Big, quiet things are white. Furry things are big.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Big, quiet things are white.
((("something" "is" "big" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
Furry things are big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Charlie is furry.
True
1
proof
[(triple4)]
("Charlie" "is" "furry" "+")
triple4
Charlie is not rough.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "rough" "-")
triple6
Charlie is big.
True
2
proof
[(((triple4) -> rule2))]
("Charlie" "is" "big" "+")
((triple4) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Anne is not big.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "big" "-")
((triple1) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Charlie is white.
True
4
proof
[(((((triple4) -> rule2) triple5) -> rule1))]
("Charlie" "is" "white" "+")
((((triple4) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not white.
False
4
inv-proof
[(((((triple4) -> rule2) triple5) -> rule1))]
("Charlie" "is" "white" "-")
((((triple4) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Charlie is furry.[(triple4)] Charlie is quiet.[(triple5)] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)] @1: Anne is big.[(((triple1) -> rule2))] Charlie is big.[(((triple4) -> rule2))] @2: Anne is white.[(((((triple1) -> rule2) triple2) -> rule1))] Charlie is white.[(((((triple4) -> rule2) triple5) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple4) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((((triple1) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
((((triple4) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2