The dog eats the lion. The dog eats the squirrel. The dog is not big. The dog needs the squirrel. The lion eats the dog. The lion is round. The lion needs the dog. The squirrel eats the lion. The squirrel needs the lion. The squirrel sees the lion. The squirrel does not see the tiger. The tiger eats the squirrel. The tiger is big. The tiger is blue. The tiger is red. The tiger sees the dog. If someone is red and they do not need the tiger then the tiger is red. If someone eats the dog then they are not big. If someone needs the tiger then they are big. If someone is cold then they see the squirrel. If someone sees the dog then they need the lion. If the dog does not see the tiger and the dog is not red then the dog does not see the squirrel. If someone eats the tiger then the tiger sees the squirrel. If someone eats the tiger then the tiger is cold.
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is not big.
("dog" "is" "big" "-")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If someone is red and they do not need the tiger then the tiger is red.
((("someone" "is" "red" "+") ("someone" "needs" "tiger" "~")) -> ("tiger" "is" "red" "+"))
If someone eats the dog then they are not big.
((("someone" "eats" "dog" "+")) -> ("someone" "is" "big" "-"))
If someone needs the tiger then they are big.
((("someone" "needs" "tiger" "+")) -> ("someone" "is" "big" "+"))
If someone is cold then they see the squirrel.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone sees the dog then they need the lion.
((("someone" "sees" "dog" "+")) -> ("someone" "needs" "lion" "+"))
If the dog does not see the tiger and the dog is not red then the dog does not see the squirrel.
((("dog" "sees" "tiger" "~") ("dog" "is" "red" "~")) -> ("dog" "sees" "squirrel" "-"))
If someone eats the tiger then the tiger sees the squirrel.
((("someone" "eats" "tiger" "+")) -> ("tiger" "sees" "squirrel" "+"))
If someone eats the tiger then the tiger is cold.
((("someone" "eats" "tiger" "+")) -> ("tiger" "is" "cold" "+"))
The tiger eats the squirrel.
True
1
proof
[(triple12)]
("tiger" "eats" "squirrel" "+")
triple12
The tiger is not big.
False
1
inv-proof
[(triple13)]
("tiger" "is" "big" "-")
triple13
The tiger needs the lion.
True
2
proof
[(((triple16) -> rule5))]
("tiger" "needs" "lion" "+")
((triple16) -> (rule5 % int1))
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int1
The lion is big.
False
2
inv-proof
[(((triple5) -> rule2))]
("lion" "is" "big" "+")
((triple5) -> (rule2 % int1))
The lion is not big.
("lion" "is" "big" "-")
int1
The lion does not see the squirrel.
Unknown
inv-rconc
[@1: The lion sees the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "sees" "squirrel" "-")
The dog sees the squirrel.
Unknown
rconc
[@1: The dog sees the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "sees" "squirrel" "+")
The lion is not red.
Unknown
inv-random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The dog eats the lion.[(triple1)] The dog eats the squirrel.[(triple2)] The dog is not big.[(triple3)] The dog needs the squirrel.[(triple4)] The lion eats the dog.[(triple5)] The lion is round.[(triple6)] The lion needs the dog.[(triple7)] The squirrel does not see the tiger.[(triple11)] The squirrel eats the lion.[(triple8)] The squirrel needs the lion.[(triple9)] The squirrel sees the lion.[(triple10)] The tiger eats the squirrel.[(triple12)] The tiger is big.[(triple13)] The tiger is blue.[(triple14)] The tiger is red.[(triple15)] The tiger sees the dog.[(triple16)] @1: The lion is not big.[(((triple5) -> rule2))] The tiger needs the lion.[(((triple16) -> rule5))]
The dog eats the lion.
("dog" "eats" "lion" "+")
triple1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple2
The dog is not big.
("dog" "is" "big" "-")
triple3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple4
The lion eats the dog.
("lion" "eats" "dog" "+")
triple5
The lion is round.
("lion" "is" "round" "+")
triple6
The lion needs the dog.
("lion" "needs" "dog" "+")
triple7
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
triple11
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple8
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple9
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple10
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple12
The tiger is big.
("tiger" "is" "big" "+")
triple13
The tiger is blue.
("tiger" "is" "blue" "+")
triple14
The tiger is red.
("tiger" "is" "red" "+")
triple15
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple16
The lion is not big.
("lion" "is" "big" "-")
((triple5) -> (rule2 % int1))
The lion is not big.
("lion" "is" "big" "-")
int1
The tiger needs the lion.
("tiger" "needs" "lion" "+")
((triple16) -> (rule5 % int1))
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int1