Anne is not big. Anne is kind. Anne is not quiet. Anne is not red. Anne is white. Dave is big. Dave is not quiet. Dave is round. Dave is white. Dave is young. Gary is big. Gary is not kind. Gary is not quiet. Gary is red. Gary is round. If Anne is quiet and Anne is not round then Anne is not young. All kind, young people are not quiet. Young people are not kind.
Anne is not big.
("Anne" "is" "big" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is not red.
("Anne" "is" "red" "-")
Anne is white.
("Anne" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
If Anne is quiet and Anne is not round then Anne is not young.
((("Anne" "is" "quiet" "+") ("Anne" "is" "round" "~")) -> ("Anne" "is" "young" "-"))
All kind, young people are not quiet.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "-"))
Young people are not kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "-"))
Gary is big.
True
1
proof
[(triple11)]
("Gary" "is" "big" "+")
triple11
Dave is not big.
False
1
inv-proof
[(triple6)]
("Dave" "is" "big" "-")
triple6
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is kind.[(triple2)] Anne is not big.[(triple1)] Anne is not quiet.[(triple3)] Anne is not red.[(triple4)] Anne is white.[(triple5)] Dave is big.[(triple6)] Dave is not quiet.[(triple7)] Dave is round.[(triple8)] Dave is white.[(triple9)] Dave is young.[(triple10)] Gary is big.[(triple11)] Gary is not kind.[(triple12)] Gary is not quiet.[(triple13)] Gary is red.[(triple14)] Gary is round.[(triple15)] @1: Dave is not kind.[(((triple10) -> rule3))]
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple3
Anne is not red.
("Anne" "is" "red" "-")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple10
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is not kind.
("Gary" "is" "kind" "-")
triple12
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple13
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple15
Dave is not kind.
("Dave" "is" "kind" "-")
((triple10) -> (rule3 % int1))
Dave is not kind.
("Dave" "is" "kind" "-")
int1