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