Anne is not big. Anne is not cold. Anne is kind. Anne is rough. Charlie is big. Charlie is cold. Charlie is not furry. Charlie is kind. Charlie is quiet. Charlie is young. Gary is cold. Gary is furry. Gary is kind. Gary is quiet. Gary is rough. Gary is young. All furry, young people are cold. All young people are big.
Anne is not big.
("Anne" "is" "big" "-")
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
All furry, young people are cold.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
All young people are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Gary is young.
True
1
proof
[(triple16)]
("Gary" "is" "young" "+")
triple16
Charlie is not big.
False
1
inv-proof
[(triple5 OR ((triple10) -> rule2))]
("Charlie" "is" "big" "-")
triple5
((triple10) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Gary is big.
True
2
proof
[(((triple16) -> rule2))]
("Gary" "is" "big" "+")
((triple16) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
2
inv-proof
[(((triple16) -> rule2))]
("Gary" "is" "big" "-")
((triple16) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is kind.[(triple3)] Anne is not big.[(triple1)] Anne is not cold.[(triple2)] Anne is rough.[(triple4)] Charlie is big.[(triple5 OR ((triple10) -> rule2))] Charlie is cold.[(triple6)] Charlie is kind.[(triple8)] Charlie is not furry.[(triple7)] Charlie is quiet.[(triple9)] Charlie is young.[(triple10)] Gary is cold.[(triple11 OR ((triple12 triple16) -> rule1))] Gary is furry.[(triple12)] Gary is kind.[(triple13)] Gary is quiet.[(triple14)] Gary is rough.[(triple15)] Gary is young.[(triple16)] @1: Gary is big.[(((triple16) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not cold.
("Anne" "is" "cold" "-")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple5
((triple10) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
((triple12 triple16) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Gary is big.
("Gary" "is" "big" "+")
((triple16) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1