Anne is big. Anne is cold. Anne is red. Bob is cold. Dave is green. Dave is not red. Gary is cold. If something is red then it is not young.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is red.
("Anne" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is not red.
("Dave" "is" "red" "-")
Gary is cold.
("Gary" "is" "cold" "+")
If something is red then it is not young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "-"))
Anne is red.
True
1
proof
[(triple3)]
("Anne" "is" "red" "+")
triple3
Bob is not cold.
False
1
inv-proof
[(triple4)]
("Bob" "is" "cold" "-")
triple4
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is red.[(triple3)] Bob is cold.[(triple4)] Dave is green.[(triple5)] Dave is not red.[(triple6)] Gary is cold.[(triple7)] @1: Anne is not young.[(((triple3) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is not red.
("Dave" "is" "red" "-")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Anne is not young.
("Anne" "is" "young" "-")
((triple3) -> (rule1 % int1))
Anne is not young.
("Anne" "is" "young" "-")
int1