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