Anne is quiet. Anne is red. Anne is smart. Cold, red people are round. Smart, rough people are round. If Anne is smart and Anne is quiet then Anne is rough.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Cold, red people are round.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Smart, rough people are round.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If Anne is smart and Anne is quiet then Anne is rough.
((("Anne" "is" "smart" "+") ("Anne" "is" "quiet" "+")) -> ("Anne" "is" "rough" "+"))
Anne is quiet.
True
1
proof
[(triple1)]
("Anne" "is" "quiet" "+")
triple1
Anne is not quiet.
False
1
inv-proof
[(triple1)]
("Anne" "is" "quiet" "-")
triple1
Anne is rough.
True
3
proof
[(((triple3 triple1) -> rule3))]
("Anne" "is" "rough" "+")
((triple3 triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
3
inv-proof
[(((triple3 triple1) -> rule3))]
("Anne" "is" "rough" "-")
((triple3 triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
True
5
proof
[(((triple3 ((triple3 triple1) -> rule3)) -> rule2))]
("Anne" "is" "round" "+")
((triple3 ((triple3 triple1) -> (rule3 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is not round.
False
5
inv-proof
[(((triple3 ((triple3 triple1) -> rule3)) -> rule2))]
("Anne" "is" "round" "-")
((triple3 ((triple3 triple1) -> (rule3 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3)] @1: Anne is rough.[(((triple3 triple1) -> rule3))] @2: Anne is round.[(((triple3 ((triple3 triple1) -> rule3)) -> rule2))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
((triple3 triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((triple3 ((triple3 triple1) -> (rule3 % int2))) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2