The bald eagle likes the squirrel. The bald eagle likes the tiger. The bald eagle visits the squirrel. The squirrel chases the tiger. The tiger chases the bald eagle. The tiger is young. The tiger likes the bald eagle. The tiger likes the squirrel. The tiger visits the bald eagle. The tiger visits the squirrel. If someone chases the squirrel then they visit the bald eagle. If someone likes the tiger and the tiger likes the bald eagle then they visit the bald eagle. If someone likes the bald eagle then they like the tiger. If someone likes the bald eagle then they are round. If the tiger is round and the tiger visits the squirrel then the squirrel likes the bald eagle. If someone is young then they visit the tiger.
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 squirrel.
("bald eagle" "visits" "squirrel" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone chases the squirrel then they visit the bald eagle.
((("someone" "chases" "squirrel" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone likes the tiger and the tiger likes the bald eagle then they visit the bald eagle.
((("someone" "likes" "tiger" "+") ("tiger" "likes" "bald eagle" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone likes the bald eagle then they like the tiger.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "likes" "tiger" "+"))
If someone likes the bald eagle then they are round.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "round" "+"))
If the tiger is round and the tiger visits the squirrel then the squirrel likes the bald eagle.
((("tiger" "is" "round" "+") ("tiger" "visits" "squirrel" "+")) -> ("squirrel" "likes" "bald eagle" "+"))
If someone is young then they visit the tiger.
((("someone" "is" "young" "+")) -> ("someone" "visits" "tiger" "+"))
The bald eagle visits the squirrel.
True
1
proof
[(triple3)]
("bald eagle" "visits" "squirrel" "+")
triple3
The tiger is not young.
False
1
inv-proof
[(triple6)]
("tiger" "is" "young" "-")
triple6
The tiger likes the tiger.
True
2
proof
[(((triple7) -> rule3))]
("tiger" "likes" "tiger" "+")
((triple7) -> (rule3 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The bald eagle does not visit the bald eagle.
False
3
inv-proof
[(((triple2 triple7) -> rule2))]
("bald eagle" "visits" "bald eagle" "-")
((triple2 triple7) -> (rule2 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The squirrel likes the bald eagle.
True
4
proof
[(((((triple7) -> rule4) triple10) -> rule5))]
("squirrel" "likes" "bald eagle" "+")
((((triple7) -> (rule4 % int2)) triple10) -> (rule5 % int1))
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The squirrel does not like the bald eagle.
False
4
inv-proof
[(((((triple7) -> rule4) triple10) -> rule5))]
("squirrel" "likes" "bald eagle" "-")
((((triple7) -> (rule4 % int2)) triple10) -> (rule5 % int1))
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The squirrel is round.
True
5
proof
[(((((((triple7) -> rule4) triple10) -> rule5)) -> rule4))]
("squirrel" "is" "round" "+")
((((((triple7) -> (rule4 % int3)) triple10) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The squirrel does not like the tiger.
False
5
inv-proof
[(((((((triple7) -> rule4) triple10) -> rule5)) -> rule3))]
("squirrel" "likes" "tiger" "-")
((((((triple7) -> (rule4 % int3)) triple10) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int1
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The squirrel does not visit the tiger.
Unknown
inv-rconc
[@1: The squirrel visits the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "visits" "tiger" "-")
The bald eagle is round.
Unknown
rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "round" "+")
The bald eagle does not visit the tiger.
Unknown
inv-rconc
[@1: The bald eagle visits the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "visits" "tiger" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
The bald eagle does not chase the tiger.
Unknown
inv-random
[@0: The bald eagle chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "tiger" "-")
The bald eagle chases the squirrel.
Unknown
random
[@0: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "squirrel" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
@0: The bald eagle likes the squirrel.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle visits the squirrel.[(triple3)] The squirrel chases the tiger.[(triple4)] The tiger chases the bald eagle.[(triple5)] The tiger is young.[(triple6)] The tiger likes the bald eagle.[(triple7)] The tiger likes the squirrel.[(triple8)] The tiger visits the bald eagle.[(triple9 OR ((((triple7) -> rule3) triple7) -> rule2))] The tiger visits the squirrel.[(triple10)] @1: The bald eagle visits the bald eagle.[(((triple2 triple7) -> rule2))] The tiger is round.[(((triple7) -> rule4))] The tiger likes the tiger.[(((triple7) -> rule3))] The tiger visits the tiger.[(((triple6) -> rule6))] @2: The squirrel likes the bald eagle.[(((((triple7) -> rule4) triple10) -> rule5))] @3: The squirrel is round.[(((((((triple7) -> rule4) triple10) -> rule5)) -> rule4))] The squirrel likes the tiger.[(((((((triple7) -> rule4) triple10) -> rule5)) -> rule3))] @4: The squirrel visits the bald eagle.[(((((((((triple7) -> rule4) triple10) -> rule5)) -> rule3) triple7) -> rule2))]
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple2
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple3
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple4
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple5
The tiger is young.
("tiger" "is" "young" "+")
triple6
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple7
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple8
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple9
((((triple7) -> (rule3 % int2)) triple7) -> (rule2 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int2
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple10
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple2 triple7) -> (rule2 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
((triple7) -> (rule4 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((triple7) -> (rule3 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((triple6) -> (rule6 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
((((triple7) -> (rule4 % int2)) triple10) -> (rule5 % int1))
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
((((((triple7) -> (rule4 % int3)) triple10) -> (rule5 % int2))) -> (rule4 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
((((((triple7) -> (rule4 % int3)) triple10) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int1
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
((((((((triple7) -> (rule4 % int4)) triple10) -> (rule5 % int3))) -> (rule3 % int2)) triple7) -> (rule2 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int2
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int3
The tiger is round.
("tiger" "is" "round" "+")
int4