The cat is big. The cat is red. The cat is round. If something is big and cold then it is round. All big things are kind. All kind, cold things are big.
The cat is big.
("cat" "is" "big" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
If something is big and cold then it is round.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
All big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
All kind, cold things are big.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
The cat is red.
True
1
proof
[(triple2)]
("cat" "is" "red" "+")
triple2
The cat is not round.
False
1
inv-proof
[(triple3)]
("cat" "is" "round" "-")
triple3
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
@0: The cat is big.[(triple1)] The cat is red.[(triple2)] The cat is round.[(triple3)] @1: The cat is kind.[(((triple1) -> rule2))]
The cat is big.
("cat" "is" "big" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The cat is kind.
("cat" "is" "kind" "+")
((triple1) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1