The bald eagle eats the rabbit. The bald eagle eats the squirrel. The bald eagle is green. The rabbit eats the squirrel. The rabbit sees the bald eagle. The squirrel eats the rabbit. The squirrel is round. The squirrel is young. The squirrel sees the bald eagle. The squirrel visits the tiger. The tiger eats the squirrel. The tiger is red. The tiger sees the bald eagle. The tiger visits the bald eagle. The tiger visits the squirrel. If something is young then it is rough. If something eats the rabbit then it is green. If something eats the squirrel and the squirrel is rough then it eats the tiger.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If something is young then it is rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
If something eats the rabbit then it is green.
((("something" "eats" "rabbit" "+")) -> ("something" "is" "green" "+"))
If something eats the squirrel and the squirrel is rough then it eats the tiger.
((("something" "eats" "squirrel" "+") ("squirrel" "is" "rough" "+")) -> ("something" "eats" "tiger" "+"))
The tiger visits the bald eagle.
True
1
proof
[(triple14)]
("tiger" "visits" "bald eagle" "+")
triple14
The rabbit does not see the bald eagle.
False
1
inv-proof
[(triple5)]
("rabbit" "sees" "bald eagle" "-")
triple5
The squirrel is green.
True
2
proof
[(((triple6) -> rule2))]
("squirrel" "is" "green" "+")
((triple6) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is not rough.
False
2
inv-proof
[(((triple8) -> rule1))]
("squirrel" "is" "rough" "-")
((triple8) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The tiger eats the tiger.
True
4
proof
[(((triple11 ((triple8) -> rule1)) -> rule3))]
("tiger" "eats" "tiger" "+")
((triple11 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The rabbit does not eat the tiger.
False
4
inv-proof
[(((triple4 ((triple8) -> rule1)) -> rule3))]
("rabbit" "eats" "tiger" "-")
((triple4 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The rabbit is rough.
Unknown
rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "rough" "+")
The tiger is not green.
Unknown
inv-rconc
[@1: The tiger is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "green" "-")
The rabbit visits the bald eagle.
Unknown
random
[@0: The rabbit visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "bald eagle" "+")
The tiger does not eat the rabbit.
Unknown
inv-random
[@0: The tiger eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "rabbit" "-")
The rabbit sees the tiger.
Unknown
random
[@0: The rabbit sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "tiger" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is green.[(triple3 OR ((triple1) -> rule2))] The rabbit eats the squirrel.[(triple4)] The rabbit sees the bald eagle.[(triple5)] The squirrel eats the rabbit.[(triple6)] The squirrel is round.[(triple7)] The squirrel is young.[(triple8)] The squirrel sees the bald eagle.[(triple9)] The squirrel visits the tiger.[(triple10)] The tiger eats the squirrel.[(triple11)] The tiger is red.[(triple12)] The tiger sees the bald eagle.[(triple13)] The tiger visits the bald eagle.[(triple14)] The tiger visits the squirrel.[(triple15)] @1: The squirrel is green.[(((triple6) -> rule2))] The squirrel is rough.[(((triple8) -> rule1))] @2: The bald eagle eats the tiger.[(((triple2 ((triple8) -> rule1)) -> rule3))] The rabbit eats the tiger.[(((triple4 ((triple8) -> rule1)) -> rule3))] The tiger eats the tiger.[(((triple11 ((triple8) -> rule1)) -> rule3))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
((triple1) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple4
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple5
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple6
The squirrel is round.
("squirrel" "is" "round" "+")
triple7
The squirrel is young.
("squirrel" "is" "young" "+")
triple8
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple9
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple10
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple11
The tiger is red.
("tiger" "is" "red" "+")
triple12
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple13
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple14
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple15
The squirrel is green.
("squirrel" "is" "green" "+")
((triple6) -> (rule2 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple8) -> (rule1 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
((triple2 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
((triple4 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple11 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2