Anne is big. Anne is quiet. Anne is round. If someone is round and quiet then they are rough. If Anne is rough then Anne is kind. If someone is big and not furry then they are kind.
Anne is big.
("Anne" "is" "big" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
If someone is round and quiet then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
If Anne is rough then Anne is kind.
((("Anne" "is" "rough" "+")) -> ("Anne" "is" "kind" "+"))
If someone is big and not furry then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "kind" "+"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Anne is rough.
True
3
proof
[(((triple3 triple2) -> rule1))]
("Anne" "is" "rough" "+")
((triple3 triple2) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("Anne" "is" "rough" "-")
((triple3 triple2) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
True
4
proof
[(((((triple3 triple2) -> rule1)) -> rule2))]
("Anne" "is" "kind" "+")
((((triple3 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is not kind.
False
4
inv-proof
[(((((triple3 triple2) -> rule1)) -> rule2))]
("Anne" "is" "kind" "-")
((((triple3 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
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 furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] @1: Anne is rough.[(((triple3 triple2) -> rule1))] @2: Anne is kind.[(((((triple3 triple2) -> rule1)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
((triple3 triple2) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((((triple3 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2