Anne is cold. Anne is not kind. Anne is quiet. If Anne is not round and Anne is not young then Anne is big. If Anne is round and Anne is young then Anne is kind. If Anne is white then Anne is kind. If something is young and not kind then it is cold. Quiet things are big. If something is young and big then it is quiet. If Anne is round and Anne is not cold then Anne is not quiet. If Anne is round and Anne is big then Anne is quiet.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
If Anne is not round and Anne is not young then Anne is big.
((("Anne" "is" "round" "~") ("Anne" "is" "young" "~")) -> ("Anne" "is" "big" "+"))
If Anne is round and Anne is young then Anne is kind.
((("Anne" "is" "round" "+") ("Anne" "is" "young" "+")) -> ("Anne" "is" "kind" "+"))
If Anne is white then Anne is kind.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "kind" "+"))
If something is young and not kind then it is cold.
((("something" "is" "young" "+") ("something" "is" "kind" "~")) -> ("something" "is" "cold" "+"))
Quiet things are big.
((("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
If something is young and big then it is quiet.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
If Anne is round and Anne is not cold then Anne is not quiet.
((("Anne" "is" "round" "+") ("Anne" "is" "cold" "~")) -> ("Anne" "is" "quiet" "-"))
If Anne is round and Anne is big then Anne is quiet.
((("Anne" "is" "round" "+") ("Anne" "is" "big" "+")) -> ("Anne" "is" "quiet" "+"))
Anne is quiet.
True
1
proof
[(triple3)]
("Anne" "is" "quiet" "+")
triple3
Anne is kind.
False
1
inv-proof
[(triple2)]
("Anne" "is" "kind" "+")
triple2
Anne is big.
True
2
proof
[(((triple3) -> rule5))]
("Anne" "is" "big" "+")
((triple3) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not big.
False
2
inv-proof
[(((triple3) -> rule5))]
("Anne" "is" "big" "-")
((triple3) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is cold.[(triple1)] Anne is not kind.[(triple2)] Anne is quiet.[(triple3)] @1: Anne is big.[(((triple3) -> rule5))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is not kind.
("Anne" "is" "kind" "-")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is big.
("Anne" "is" "big" "+")
((triple3) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1