The rabbit eats the squirrel. The rabbit eats the tiger. The rabbit is not blue. The rabbit likes the squirrel. The rabbit visits the tiger. The squirrel eats the tiger. The squirrel is not blue. The squirrel is cold. The squirrel likes the rabbit. The squirrel does not visit the rabbit. The tiger is nice. The tiger is not rough. The tiger likes the rabbit. The tiger likes the squirrel. The tiger visits the rabbit. The tiger visits the squirrel. If the rabbit is rough and the rabbit does not visit the squirrel then the rabbit eats the tiger. If something likes the tiger then the tiger eats the rabbit. If something is big then it likes the rabbit.
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is not blue.
("rabbit" "is" "blue" "-")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel does not visit the rabbit.
("squirrel" "visits" "rabbit" "-")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is not rough.
("tiger" "is" "rough" "-")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If the rabbit is rough and the rabbit does not visit the squirrel then the rabbit eats the tiger.
((("rabbit" "is" "rough" "+") ("rabbit" "visits" "squirrel" "~")) -> ("rabbit" "eats" "tiger" "+"))
If something likes the tiger then the tiger eats the rabbit.
((("something" "likes" "tiger" "+")) -> ("tiger" "eats" "rabbit" "+"))
If something is big then it likes the rabbit.
((("something" "is" "big" "+")) -> ("something" "likes" "rabbit" "+"))
The tiger likes the squirrel.
True
1
proof
[(triple14)]
("tiger" "likes" "squirrel" "+")
triple14
The tiger is not nice.
False
1
inv-proof
[(triple11)]
("tiger" "is" "nice" "-")
triple11
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The squirrel eats the rabbit.
Unknown
random
[@0: The squirrel eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "rabbit" "+")
@0: The rabbit eats the squirrel.[(triple1)] The rabbit eats the tiger.[(triple2)] The rabbit is not blue.[(triple3)] The rabbit likes the squirrel.[(triple4)] The rabbit visits the tiger.[(triple5)] The squirrel does not visit the rabbit.[(triple10)] The squirrel eats the tiger.[(triple6)] The squirrel is cold.[(triple8)] The squirrel is not blue.[(triple7)] The squirrel likes the rabbit.[(triple9)] The tiger is nice.[(triple11)] The tiger is not rough.[(triple12)] The tiger likes the rabbit.[(triple13)] The tiger likes the squirrel.[(triple14)] The tiger visits the rabbit.[(triple15)] The tiger visits the squirrel.[(triple16)]
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple2
The rabbit is not blue.
("rabbit" "is" "blue" "-")
triple3
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple4
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple5
The squirrel does not visit the rabbit.
("squirrel" "visits" "rabbit" "-")
triple10
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple6
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple8
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple7
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple9
The tiger is nice.
("tiger" "is" "nice" "+")
triple11
The tiger is not rough.
("tiger" "is" "rough" "-")
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
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple16