Anne is big. Anne is green. Anne is white. If Anne is green then Anne is rough. If someone is rough and big then they are smart.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is white.
("Anne" "is" "white" "+")
If Anne is green then Anne is rough.
((("Anne" "is" "green" "+")) -> ("Anne" "is" "rough" "+"))
If someone is rough and big then they are smart.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
Anne is white.
True
1
proof
[(triple3)]
("Anne" "is" "white" "+")
triple3
Anne is not white.
False
1
inv-proof
[(triple3)]
("Anne" "is" "white" "-")
triple3
Anne is rough.
True
2
proof
[(((triple2) -> rule1))]
("Anne" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple2) -> rule1))]
("Anne" "is" "rough" "-")
((triple2) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is white.[(triple3)] @1: Anne is rough.[(((triple2) -> rule1))] @2: Anne is smart.[(((((triple2) -> rule1) triple1) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
((((triple2) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2