Bob is red. Bob is white. Bob is not young. If something is kind and white then it is not cold. Young things are white.
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is not young.
("Bob" "is" "young" "-")
If something is kind and white then it is not cold.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "-"))
Young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
Bob is red.
True
1
proof
[(triple1)]
("Bob" "is" "red" "+")
triple1
Bob is young.
False
1
inv-proof
[(triple3)]
("Bob" "is" "young" "+")
triple3
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is not young.[(triple3)] Bob is red.[(triple1)] Bob is white.[(triple2)]
Bob is not young.
("Bob" "is" "young" "-")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2