Anne is cold. Anne is green. Anne is white. Anne is not young. Dave is not big. Dave is cold. Dave is green. Dave is not quiet. Dave is young. Gary is big. Gary is cold. Gary is nice. If Anne is quiet and Anne is big then Anne is young. If something is green then it is nice. If Dave is white and Dave is not nice then Dave is cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is not young.
("Anne" "is" "young" "-")
Dave is not big.
("Dave" "is" "big" "-")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is young.
("Dave" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If Anne is quiet and Anne is big then Anne is young.
((("Anne" "is" "quiet" "+") ("Anne" "is" "big" "+")) -> ("Anne" "is" "young" "+"))
If something is green then it is nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
If Dave is white and Dave is not nice then Dave is cold.
((("Dave" "is" "white" "+") ("Dave" "is" "nice" "~")) -> ("Dave" "is" "cold" "+"))
Gary is cold.
True
1
proof
[(triple11)]
("Gary" "is" "cold" "+")
triple11
Dave is not cold.
False
1
inv-proof
[(triple6)]
("Dave" "is" "cold" "-")
triple6
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is not young.[(triple4)] Anne is white.[(triple3)] Dave is cold.[(triple6)] Dave is green.[(triple7)] Dave is not big.[(triple5)] Dave is not quiet.[(triple8)] Dave is young.[(triple9)] Gary is big.[(triple10)] Gary is cold.[(triple11)] Gary is nice.[(triple12)] @1: Anne is nice.[(((triple2) -> rule2))] Dave is nice.[(((triple7) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not young.
("Anne" "is" "young" "-")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is not big.
("Dave" "is" "big" "-")
triple5
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Anne is nice.
("Anne" "is" "nice" "+")
((triple2) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple7) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1