The bald eagle is young. The bald eagle likes the squirrel. The bald eagle sees the rabbit. The lion is young. The rabbit is big. The rabbit is cold. The rabbit is rough. The rabbit is round. The rabbit sees the bald eagle. The rabbit visits the bald eagle. The rabbit visits the squirrel. The squirrel is round. The squirrel likes the bald eagle. The squirrel likes the lion. The squirrel likes the rabbit. If someone visits the squirrel then they like the bald eagle. If someone likes the bald eagle then they see the squirrel. If someone visits the squirrel then they visit the lion. If someone likes the bald eagle and the bald eagle sees the lion then the lion is rough. If the squirrel visits the bald eagle and the bald eagle is young then the squirrel is rough. If someone visits the lion then the lion likes the bald eagle.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The lion is young.
("lion" "is" "young" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
If someone visits the squirrel then they like the bald eagle.
((("someone" "visits" "squirrel" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone likes the bald eagle then they see the squirrel.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone visits the squirrel then they visit the lion.
((("someone" "visits" "squirrel" "+")) -> ("someone" "visits" "lion" "+"))
If someone likes the bald eagle and the bald eagle sees the lion then the lion is rough.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "sees" "lion" "+")) -> ("lion" "is" "rough" "+"))
If the squirrel visits the bald eagle and the bald eagle is young then the squirrel is rough.
((("squirrel" "visits" "bald eagle" "+") ("bald eagle" "is" "young" "+")) -> ("squirrel" "is" "rough" "+"))
If someone visits the lion then the lion likes the bald eagle.
((("someone" "visits" "lion" "+")) -> ("lion" "likes" "bald eagle" "+"))
The squirrel is round.
True
1
proof
[(triple12)]
("squirrel" "is" "round" "+")
triple12
The rabbit is not round.
False
1
inv-proof
[(triple8)]
("rabbit" "is" "round" "-")
triple8
The rabbit visits the lion.
True
2
proof
[(((triple11) -> rule3))]
("rabbit" "visits" "lion" "+")
((triple11) -> (rule3 % int1))
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
int1
The rabbit does not like the bald eagle.
False
2
inv-proof
[(((triple11) -> rule1))]
("rabbit" "likes" "bald eagle" "-")
((triple11) -> (rule1 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The lion likes the bald eagle.
True
3
proof
[(((((triple11) -> rule3)) -> rule6))]
("lion" "likes" "bald eagle" "+")
((((triple11) -> (rule3 % int2))) -> (rule6 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
int2
The rabbit does not see the squirrel.
False
3
inv-proof
[(((((triple11) -> rule1)) -> rule2))]
("rabbit" "sees" "squirrel" "-")
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The lion sees the squirrel.
True
4
proof
[(((((((triple11) -> rule3)) -> rule6)) -> rule2))]
("lion" "sees" "squirrel" "+")
((((((triple11) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
int1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int2
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
int3
The lion does not see the squirrel.
False
4
inv-proof
[(((((((triple11) -> rule3)) -> rule6)) -> rule2))]
("lion" "sees" "squirrel" "-")
((((((triple11) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
int1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int2
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
int3
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The lion visits the lion.
Unknown
rconc
[@1: The lion visits the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "visits" "lion" "+")
The bald eagle does not see the squirrel.
Unknown
inv-rconc
[@2: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("bald eagle" "sees" "squirrel" "-")
The squirrel visits the lion.
Unknown
rconc
[@1: The squirrel visits the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "visits" "lion" "+")
The lion does not visit the squirrel.
Unknown
inv-random
[@0: The lion visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "squirrel" "-")
The lion sees the rabbit.
Unknown
random
[@0: The lion sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "rabbit" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The lion likes the squirrel.
Unknown
random
[@0: The lion likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "squirrel" "+")
@0: The bald eagle is young.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The lion is young.[(triple4)] The rabbit is big.[(triple5)] The rabbit is cold.[(triple6)] The rabbit is rough.[(triple7)] The rabbit is round.[(triple8)] The rabbit sees the bald eagle.[(triple9)] The rabbit visits the bald eagle.[(triple10)] The rabbit visits the squirrel.[(triple11)] The squirrel is round.[(triple12)] The squirrel likes the bald eagle.[(triple13)] The squirrel likes the lion.[(triple14)] The squirrel likes the rabbit.[(triple15)] @1: The rabbit likes the bald eagle.[(((triple11) -> rule1))] The rabbit visits the lion.[(((triple11) -> rule3))] The squirrel sees the squirrel.[(((triple13) -> rule2))] @2: The lion likes the bald eagle.[(((((triple11) -> rule3)) -> rule6))] The rabbit sees the squirrel.[(((((triple11) -> rule1)) -> rule2))] @3: The lion sees the squirrel.[(((((((triple11) -> rule3)) -> rule6)) -> rule2))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple3
The lion is young.
("lion" "is" "young" "+")
triple4
The rabbit is big.
("rabbit" "is" "big" "+")
triple5
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple6
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple7
The rabbit is round.
("rabbit" "is" "round" "+")
triple8
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple9
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple10
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple11
The squirrel is round.
("squirrel" "is" "round" "+")
triple12
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple13
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple14
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple15
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
((triple11) -> (rule1 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
((triple11) -> (rule3 % int1))
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple13) -> (rule2 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
((((triple11) -> (rule3 % int2))) -> (rule6 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
int2
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
((((triple11) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
((((((triple11) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
int1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int2
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
int3