The cat eats the squirrel. The cat is green. The cat is nice. The cat is round. The cat likes the tiger. The cat sees the lion. The lion eats the squirrel. The lion is round. The lion is young. The lion sees the cat. The squirrel eats the cat. The squirrel is blue. The squirrel likes the tiger. The tiger likes the cat. The tiger sees the squirrel. If someone sees the lion then they eat the lion. If someone likes the lion and they like the tiger then the lion eats the squirrel. If the squirrel is young and the squirrel sees the cat then the cat sees the lion. If someone is young then they eat the tiger. If someone eats the tiger and the tiger is young then the tiger sees the squirrel. If someone eats the lion then the lion likes the tiger.
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If someone sees the lion then they eat the lion.
((("someone" "sees" "lion" "+")) -> ("someone" "eats" "lion" "+"))
If someone likes the lion and they like the tiger then the lion eats the squirrel.
((("someone" "likes" "lion" "+") ("someone" "likes" "tiger" "+")) -> ("lion" "eats" "squirrel" "+"))
If the squirrel is young and the squirrel sees the cat then the cat sees the lion.
((("squirrel" "is" "young" "+") ("squirrel" "sees" "cat" "+")) -> ("cat" "sees" "lion" "+"))
If someone is young then they eat the tiger.
((("someone" "is" "young" "+")) -> ("someone" "eats" "tiger" "+"))
If someone eats the tiger and the tiger is young then the tiger sees the squirrel.
((("someone" "eats" "tiger" "+") ("tiger" "is" "young" "+")) -> ("tiger" "sees" "squirrel" "+"))
If someone eats the lion then the lion likes the tiger.
((("someone" "eats" "lion" "+")) -> ("lion" "likes" "tiger" "+"))
The squirrel is blue.
True
1
proof
[(triple12)]
("squirrel" "is" "blue" "+")
triple12
The squirrel is not blue.
False
1
inv-proof
[(triple12)]
("squirrel" "is" "blue" "-")
triple12
The lion eats the tiger.
True
2
proof
[(((triple9) -> rule4))]
("lion" "eats" "tiger" "+")
((triple9) -> (rule4 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The lion does not eat the tiger.
False
2
inv-proof
[(((triple9) -> rule4))]
("lion" "eats" "tiger" "-")
((triple9) -> (rule4 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The lion likes the tiger.
True
3
proof
[(((((triple6) -> rule1)) -> rule6))]
("lion" "likes" "tiger" "+")
((((triple6) -> (rule1 % int2))) -> (rule6 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The lion does not like the tiger.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule6))]
("lion" "likes" "tiger" "-")
((((triple6) -> (rule1 % int2))) -> (rule6 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The tiger does not eat the lion.
Unknown
inv-rconc
[@1: The tiger eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "lion" "-")
The cat eats the tiger.
Unknown
rconc
[@1: The cat eats the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "eats" "tiger" "+")
The tiger does not eat the tiger.
Unknown
inv-rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "eats" "tiger" "-")
The cat sees the squirrel.
Unknown
random
[@0: The cat sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "squirrel" "+")
The lion is not nice.
Unknown
inv-random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "-")
The tiger likes the lion.
Unknown
random
[@0: The tiger likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "lion" "+")
@0: The cat eats the squirrel.[(triple1)] The cat is green.[(triple2)] The cat is nice.[(triple3)] The cat is round.[(triple4)] The cat likes the tiger.[(triple5)] The cat sees the lion.[(triple6)] The lion eats the squirrel.[(triple7)] The lion is round.[(triple8)] The lion is young.[(triple9)] The lion sees the cat.[(triple10)] The squirrel eats the cat.[(triple11)] The squirrel is blue.[(triple12)] The squirrel likes the tiger.[(triple13)] The tiger likes the cat.[(triple14)] The tiger sees the squirrel.[(triple15)] @1: The cat eats the lion.[(((triple6) -> rule1))] The lion eats the tiger.[(((triple9) -> rule4))] @2: The lion likes the tiger.[(((((triple6) -> rule1)) -> rule6))]
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is nice.
("cat" "is" "nice" "+")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple5
The cat sees the lion.
("cat" "sees" "lion" "+")
triple6
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple7
The lion is round.
("lion" "is" "round" "+")
triple8
The lion is young.
("lion" "is" "young" "+")
triple9
The lion sees the cat.
("lion" "sees" "cat" "+")
triple10
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple11
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple12
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple13
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple14
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple15
The cat eats the lion.
("cat" "eats" "lion" "+")
((triple6) -> (rule1 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The lion eats the tiger.
("lion" "eats" "tiger" "+")
((triple9) -> (rule4 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
((((triple6) -> (rule1 % int2))) -> (rule6 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2