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