The cat chases the lion. The cat does not chase the squirrel. The cat is round. The cat likes the lion. The cat likes the squirrel. The cat sees the lion. The lion chases the cat. The lion does not chase the squirrel. The lion is big. The lion is not cold. The lion likes the cat. The lion does not like the squirrel. The squirrel chases the lion. The squirrel is not round. The squirrel likes the cat. The squirrel sees the cat. If the squirrel is round and the squirrel does not see the lion then the squirrel likes the cat. If the cat is cold then the cat likes the squirrel. If the lion chases the cat and the cat sees the lion then the cat is not cold. If someone is cold and they see the cat then they chase the lion. If the cat chases the squirrel then the cat sees the squirrel. If someone likes the cat then they are blue. If the cat likes the squirrel and the squirrel does not like the lion then the cat is big. If someone is big and they do not like the cat then they do not like the squirrel.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
The cat is round.
("cat" "is" "round" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
The lion is big.
("lion" "is" "big" "+")
The lion is not cold.
("lion" "is" "cold" "-")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion does not like the squirrel.
("lion" "likes" "squirrel" "-")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is not round.
("squirrel" "is" "round" "-")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If the squirrel is round and the squirrel does not see the lion then the squirrel likes the cat.
((("squirrel" "is" "round" "+") ("squirrel" "sees" "lion" "~")) -> ("squirrel" "likes" "cat" "+"))
If the cat is cold then the cat likes the squirrel.
((("cat" "is" "cold" "+")) -> ("cat" "likes" "squirrel" "+"))
If the lion chases the cat and the cat sees the lion then the cat is not cold.
((("lion" "chases" "cat" "+") ("cat" "sees" "lion" "+")) -> ("cat" "is" "cold" "-"))
If someone is cold and they see the cat then they chase the lion.
((("someone" "is" "cold" "+") ("someone" "sees" "cat" "+")) -> ("someone" "chases" "lion" "+"))
If the cat chases the squirrel then the cat sees the squirrel.
((("cat" "chases" "squirrel" "+")) -> ("cat" "sees" "squirrel" "+"))
If someone likes the cat then they are blue.
((("someone" "likes" "cat" "+")) -> ("someone" "is" "blue" "+"))
If the cat likes the squirrel and the squirrel does not like the lion then the cat is big.
((("cat" "likes" "squirrel" "+") ("squirrel" "likes" "lion" "~")) -> ("cat" "is" "big" "+"))
If someone is big and they do not like the cat then they do not like the squirrel.
((("someone" "is" "big" "+") ("someone" "likes" "cat" "~")) -> ("someone" "likes" "squirrel" "-"))
The squirrel likes the cat.
True
1
proof
[(triple15)]
("squirrel" "likes" "cat" "+")
triple15
The lion likes the squirrel.
False
1
inv-proof
[(triple12)]
("lion" "likes" "squirrel" "+")
triple12
The cat is not big.
Unknown
inv-rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "is" "big" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The cat chases the lion.[(triple1)] The cat does not chase the squirrel.[(triple2)] The cat is round.[(triple3)] The cat likes the lion.[(triple4)] The cat likes the squirrel.[(triple5)] The cat sees the lion.[(triple6)] The lion chases the cat.[(triple7)] The lion does not chase the squirrel.[(triple8)] The lion does not like the squirrel.[(triple12)] The lion is big.[(triple9)] The lion is not cold.[(triple10)] The lion likes the cat.[(triple11)] The squirrel chases the lion.[(triple13)] The squirrel is not round.[(triple14)] The squirrel likes the cat.[(triple15)] The squirrel sees the cat.[(triple16)] @1: The cat is not cold.[(((triple7 triple6) -> rule3))] The lion is blue.[(((triple11) -> rule6))] The squirrel is blue.[(((triple15) -> rule6))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat does not chase the squirrel.
("cat" "chases" "squirrel" "-")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The cat likes the lion.
("cat" "likes" "lion" "+")
triple4
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple5
The cat sees the lion.
("cat" "sees" "lion" "+")
triple6
The lion chases the cat.
("lion" "chases" "cat" "+")
triple7
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
triple8
The lion does not like the squirrel.
("lion" "likes" "squirrel" "-")
triple12
The lion is big.
("lion" "is" "big" "+")
triple9
The lion is not cold.
("lion" "is" "cold" "-")
triple10
The lion likes the cat.
("lion" "likes" "cat" "+")
triple11
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple13
The squirrel is not round.
("squirrel" "is" "round" "-")
triple14
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple15
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple16
The cat is not cold.
("cat" "is" "cold" "-")
((triple7 triple6) -> (rule3 % int1))
The cat is not cold.
("cat" "is" "cold" "-")
int1
The lion is blue.
("lion" "is" "blue" "+")
((triple11) -> (rule6 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple15) -> (rule6 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1