The bald eagle chases the cow. The bald eagle does not eat the cow. The bald eagle eats the rabbit. The bald eagle is not young. The bald eagle likes the cow. The bald eagle likes the rabbit. The cow chases the bald eagle. The cow does not eat the bald eagle. The cow eats the rabbit. The cow likes the bald eagle. The rabbit chases the cow. The rabbit does not eat the bald eagle. The rabbit eats the cow. The rabbit is rough. The rabbit is round. The rabbit is young. If something likes the cow and the cow likes the bald eagle then it is not red. If something eats the rabbit and it is not red then the rabbit likes the bald eagle.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is not young.
("bald eagle" "is" "young" "-")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow does not eat the bald eagle.
("cow" "eats" "bald eagle" "-")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit does not eat the bald eagle.
("rabbit" "eats" "bald eagle" "-")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
If something likes the cow and the cow likes the bald eagle then it is not red.
((("something" "likes" "cow" "+") ("cow" "likes" "bald eagle" "+")) -> ("something" "is" "red" "-"))
If something eats the rabbit and it is not red then the rabbit likes the bald eagle.
((("something" "eats" "rabbit" "+") ("something" "is" "red" "~")) -> ("rabbit" "likes" "bald eagle" "+"))
The cow does not eat the bald eagle.
True
1
proof
[(triple8)]
("cow" "eats" "bald eagle" "-")
triple8
The rabbit does not eat the cow.
False
1
inv-proof
[(triple13)]
("rabbit" "eats" "cow" "-")
triple13
The bald eagle is not red.
True
3
proof
[(((triple5 triple10) -> rule1))]
("bald eagle" "is" "red" "-")
((triple5 triple10) -> (rule1 % int1))
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int1
The bald eagle is red.
False
3
inv-proof
[(((triple5 triple10) -> rule1))]
("bald eagle" "is" "red" "+")
((triple5 triple10) -> (rule1 % int1))
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int1
The rabbit likes the bald eagle.
True
5
proof
[(((triple3 ((triple5 triple10) -> rule1)) -> rule2))]
("rabbit" "likes" "bald eagle" "+")
((triple3 ((triple5 triple10) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int2
The rabbit does not like the bald eagle.
False
5
inv-proof
[(((triple3 ((triple5 triple10) -> rule1)) -> rule2))]
("rabbit" "likes" "bald eagle" "-")
((triple3 ((triple5 triple10) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int2
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
The bald eagle does not chase the rabbit.
Unknown
inv-random
[@0: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "rabbit" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle does not eat the cow.[(triple2)] The bald eagle eats the rabbit.[(triple3)] The bald eagle is not young.[(triple4)] The bald eagle likes the cow.[(triple5)] The bald eagle likes the rabbit.[(triple6)] The cow chases the bald eagle.[(triple7)] The cow does not eat the bald eagle.[(triple8)] The cow eats the rabbit.[(triple9)] The cow likes the bald eagle.[(triple10)] The rabbit chases the cow.[(triple11)] The rabbit does not eat the bald eagle.[(triple12)] The rabbit eats the cow.[(triple13)] The rabbit is rough.[(triple14)] The rabbit is round.[(triple15)] The rabbit is young.[(triple16)] @1: The bald eagle is not red.[(((triple5 triple10) -> rule1))] @2: The rabbit likes the bald eagle.[(((triple3 ((triple5 triple10) -> rule1)) -> rule2))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
triple2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple3
The bald eagle is not young.
("bald eagle" "is" "young" "-")
triple4
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple5
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple6
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple7
The cow does not eat the bald eagle.
("cow" "eats" "bald eagle" "-")
triple8
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple9
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple10
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple11
The rabbit does not eat the bald eagle.
("rabbit" "eats" "bald eagle" "-")
triple12
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple13
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple14
The rabbit is round.
("rabbit" "is" "round" "+")
triple15
The rabbit is young.
("rabbit" "is" "young" "+")
triple16
The bald eagle is not red.
("bald eagle" "is" "red" "-")
((triple5 triple10) -> (rule1 % int1))
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
((triple3 ((triple5 triple10) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int2