The bald eagle is round. The rabbit eats the tiger. The rabbit is rough. The rabbit needs the squirrel. The squirrel is rough. The squirrel likes the tiger. The squirrel needs the tiger. The tiger eats the rabbit. The tiger eats the squirrel. The tiger is green. If someone eats the rabbit then they are blue.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is green.
("tiger" "is" "green" "+")
If someone eats the rabbit then they are blue.
((("someone" "eats" "rabbit" "+")) -> ("someone" "is" "blue" "+"))
The rabbit needs the squirrel.
True
1
proof
[(triple4)]
("rabbit" "needs" "squirrel" "+")
triple4
The rabbit does not eat the tiger.
False
1
inv-proof
[(triple2)]
("rabbit" "eats" "tiger" "-")
triple2
The tiger is blue.
True
2
proof
[(((triple8) -> rule1))]
("tiger" "is" "blue" "+")
((triple8) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is not blue.
False
2
inv-proof
[(((triple8) -> rule1))]
("tiger" "is" "blue" "-")
((triple8) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The rabbit is not blue.
Unknown
inv-rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "blue" "-")
The squirrel is blue.
Unknown
rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "blue" "+")
The bald eagle does not like the squirrel.
Unknown
inv-random
[@0: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "squirrel" "-")
The squirrel needs the rabbit.
Unknown
random
[@0: The squirrel needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "rabbit" "+")
@0: The bald eagle is round.[(triple1)] The rabbit eats the tiger.[(triple2)] The rabbit is rough.[(triple3)] The rabbit needs the squirrel.[(triple4)] The squirrel is rough.[(triple5)] The squirrel likes the tiger.[(triple6)] The squirrel needs the tiger.[(triple7)] The tiger eats the rabbit.[(triple8)] The tiger eats the squirrel.[(triple9)] The tiger is green.[(triple10)] @1: The tiger is blue.[(((triple8) -> rule1))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple2
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple3
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple4
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple5
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
triple6
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple7
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple8
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple9
The tiger is green.
("tiger" "is" "green" "+")
triple10
The tiger is blue.
("tiger" "is" "blue" "+")
((triple8) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1