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