The cat eats the lion. The cat is blue. The cat does not like the squirrel. The cat visits the lion. The lion eats the squirrel. The lion is blue. The lion is kind. The lion is rough. The lion does not like the squirrel. The lion visits the squirrel. The squirrel eats the cat. The squirrel eats the lion. If someone visits the cat and the cat likes the squirrel then the cat does not visit the squirrel. If someone is rough then they eat the squirrel. If someone eats the squirrel then the squirrel is not round. If someone is round then they visit the lion. If the squirrel likes the lion and the squirrel likes the cat then the lion visits the cat. All round people are not green.
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat does not like the squirrel.
("cat" "likes" "squirrel" "-")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion does not like the squirrel.
("lion" "likes" "squirrel" "-")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
If someone visits the cat and the cat likes the squirrel then the cat does not visit the squirrel.
((("someone" "visits" "cat" "+") ("cat" "likes" "squirrel" "+")) -> ("cat" "visits" "squirrel" "-"))
If someone is rough then they eat the squirrel.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone eats the squirrel then the squirrel is not round.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "is" "round" "-"))
If someone is round then they visit the lion.
((("someone" "is" "round" "+")) -> ("someone" "visits" "lion" "+"))
If the squirrel likes the lion and the squirrel likes the cat then the lion visits the cat.
((("squirrel" "likes" "lion" "+") ("squirrel" "likes" "cat" "+")) -> ("lion" "visits" "cat" "+"))
All round people are not green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "-"))
The lion is rough.
True
1
proof
[(triple8)]
("lion" "is" "rough" "+")
triple8
The lion does not visit the squirrel.
False
1
inv-proof
[(triple10)]
("lion" "visits" "squirrel" "-")
triple10
The squirrel is not round.
True
2
proof
[(((triple5) -> rule3) OR ((((triple8) -> rule2)) -> rule3))]
("squirrel" "is" "round" "-")
((triple5) -> (rule3 % int1))
The squirrel is not round.
("squirrel" "is" "round" "-")
int1
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is not round.
("squirrel" "is" "round" "-")
int1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int2
The squirrel is round.
False
2
inv-proof
[(((triple5) -> rule3) OR ((((triple8) -> rule2)) -> rule3))]
("squirrel" "is" "round" "+")
((triple5) -> (rule3 % int1))
The squirrel is not round.
("squirrel" "is" "round" "-")
int1
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is not round.
("squirrel" "is" "round" "-")
int1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int2
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The lion visits the lion.
Unknown
rconc
[@1: The lion visits the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "visits" "lion" "+")
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat does not like the squirrel.[(triple3)] The cat eats the lion.[(triple1)] The cat is blue.[(triple2)] The cat visits the lion.[(triple4)] The lion does not like the squirrel.[(triple9)] The lion eats the squirrel.[(triple5 OR ((triple8) -> rule2))] The lion is blue.[(triple6)] The lion is kind.[(triple7)] The lion is rough.[(triple8)] The lion visits the squirrel.[(triple10)] The squirrel eats the cat.[(triple11)] The squirrel eats the lion.[(triple12)] @1: The squirrel is not round.[(((triple5) -> rule3) OR ((((triple8) -> rule2)) -> rule3))]
The cat does not like the squirrel.
("cat" "likes" "squirrel" "-")
triple3
The cat eats the lion.
("cat" "eats" "lion" "+")
triple1
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat visits the lion.
("cat" "visits" "lion" "+")
triple4
The lion does not like the squirrel.
("lion" "likes" "squirrel" "-")
triple9
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple5
((triple8) -> (rule2 % int1))
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
triple6
The lion is kind.
("lion" "is" "kind" "+")
triple7
The lion is rough.
("lion" "is" "rough" "+")
triple8
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple10
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple11
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple12
The squirrel is not round.
("squirrel" "is" "round" "-")
((triple5) -> (rule3 % int1))
The squirrel is not round.
("squirrel" "is" "round" "-")
int1
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is not round.
("squirrel" "is" "round" "-")
int1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
int2