The cat is not big. The cat is blue. The cat is cold. The cat is green. The cat is round. Blue, round people are cold. If someone is big and not round then they are blue. Cold, green people are blue.
The cat is not big.
("cat" "is" "big" "-")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is round.
("cat" "is" "round" "+")
Blue, round people are cold.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and not round then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "blue" "+"))
Cold, green people are blue.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
The cat is blue.
True
1
proof
[(triple2 OR ((triple3 triple4) -> rule3))]
("cat" "is" "blue" "+")
triple2
((triple3 triple4) -> (rule3 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is not round.
False
1
inv-proof
[(triple5)]
("cat" "is" "round" "-")
triple5
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 visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The cat is blue.[(triple2 OR ((triple3 triple4) -> rule3))] The cat is cold.[(triple3 OR ((triple2 triple5) -> rule1))] The cat is green.[(triple4)] The cat is not big.[(triple1)] The cat is round.[(triple5)]
The cat is blue.
("cat" "is" "blue" "+")
triple2
((triple3 triple4) -> (rule3 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
triple3
((triple2 triple5) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is green.
("cat" "is" "green" "+")
triple4
The cat is not big.
("cat" "is" "big" "-")
triple1
The cat is round.
("cat" "is" "round" "+")
triple5