The bald eagle chases the rabbit. The bald eagle is big. The rabbit chases the bald eagle. The rabbit eats the bald eagle. The rabbit eats the squirrel. The squirrel eats the bald eagle. The squirrel visits the bald eagle. If something chases the rabbit and the rabbit chases the bald eagle then the rabbit chases the squirrel. If something chases the squirrel then the squirrel is red.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If something chases the rabbit and the rabbit chases the bald eagle then the rabbit chases the squirrel.
((("something" "chases" "rabbit" "+") ("rabbit" "chases" "bald eagle" "+")) -> ("rabbit" "chases" "squirrel" "+"))
If something chases the squirrel then the squirrel is red.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "is" "red" "+"))
The rabbit eats the bald eagle.
True
1
proof
[(triple4)]
("rabbit" "eats" "bald eagle" "+")
triple4
The rabbit does not eat the squirrel.
False
1
inv-proof
[(triple5)]
("rabbit" "eats" "squirrel" "-")
triple5
The rabbit chases the squirrel.
True
3
proof
[(((triple1 triple3) -> rule1))]
("rabbit" "chases" "squirrel" "+")
((triple1 triple3) -> (rule1 % int1))
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
int1
The rabbit does not chase the squirrel.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("rabbit" "chases" "squirrel" "-")
((triple1 triple3) -> (rule1 % int1))
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
int1
The squirrel is red.
True
4
proof
[(((((triple1 triple3) -> rule1)) -> rule2))]
("squirrel" "is" "red" "+")
((((triple1 triple3) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
int2
The squirrel is not red.
False
4
inv-proof
[(((((triple1 triple3) -> rule1)) -> rule2))]
("squirrel" "is" "red" "-")
((((triple1 triple3) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
int2
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
The bald eagle does not eat the squirrel.
Unknown
inv-random
[@0: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "squirrel" "-")
The bald eagle visits the rabbit.
Unknown
random
[@0: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "rabbit" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is big.[(triple2)] The rabbit chases the bald eagle.[(triple3)] The rabbit eats the bald eagle.[(triple4)] The rabbit eats the squirrel.[(triple5)] The squirrel eats the bald eagle.[(triple6)] The squirrel visits the bald eagle.[(triple7)] @1: The rabbit chases the squirrel.[(((triple1 triple3) -> rule1))] @2: The squirrel is red.[(((((triple1 triple3) -> rule1)) -> rule2))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple3
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple4
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple5
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple6
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple7
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
((triple1 triple3) -> (rule1 % int1))
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((((triple1 triple3) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
int2