Anne is big. Anne is cold. Anne is kind. Anne is quiet. Anne is round. Gary is not big. Gary is cold. Gary is not quiet. Gary is round. Gary is young. If Anne is rough then Anne is big. Quiet people are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
If Anne is rough then Anne is big.
((("Anne" "is" "rough" "+")) -> ("Anne" "is" "big" "+"))
Quiet people are big.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
Anne is round.
True
1
proof
[(triple5)]
("Anne" "is" "round" "+")
triple5
Gary is big.
False
1
inv-proof
[(triple6)]
("Gary" "is" "big" "+")
triple6
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Anne is big.[(triple1 OR ((triple4) -> rule2))] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Gary is cold.[(triple7)] Gary is not big.[(triple6)] Gary is not quiet.[(triple8)] Gary is round.[(triple9)] Gary is young.[(triple10)]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple4) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is not big.
("Gary" "is" "big" "-")
triple6
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10