The cat is big. The cat is blue. The cat is red. The cat is not round. The cat is not young. Round things are big. If something is blue then it is big. All young things are not round. If something is young and blue then it is red. If the cat is red and the cat is round then the cat is blue. If the cat is red and the cat is round then the cat is young.
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is not round.
("cat" "is" "round" "-")
The cat is not young.
("cat" "is" "young" "-")
Round things are big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
If something is blue then it is big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
All young things are not round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "-"))
If something is young and blue then it is red.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If the cat is red and the cat is round then the cat is blue.
((("cat" "is" "red" "+") ("cat" "is" "round" "+")) -> ("cat" "is" "blue" "+"))
If the cat is red and the cat is round then the cat is young.
((("cat" "is" "red" "+") ("cat" "is" "round" "+")) -> ("cat" "is" "young" "+"))
The cat is not round.
True
1
proof
[(triple4)]
("cat" "is" "round" "-")
triple4
The cat is round.
False
1
inv-proof
[(triple4)]
("cat" "is" "round" "+")
triple4
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The cat is big.[(triple1 OR ((triple2) -> rule2))] The cat is blue.[(triple2)] The cat is not round.[(triple4)] The cat is not young.[(triple5)] The cat is red.[(triple3)]
The cat is big.
("cat" "is" "big" "+")
triple1
((triple2) -> (rule2 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat is not round.
("cat" "is" "round" "-")
triple4
The cat is not young.
("cat" "is" "young" "-")
triple5
The cat is red.
("cat" "is" "red" "+")
triple3