The bald eagle chases the rabbit. The bald eagle is nice. The bald eagle likes the cow. The cow chases the bald eagle. The cow chases the rabbit. The cow is green. The cow is nice. The cow is rough. The cow is round. The cow likes the bald eagle. The cow likes the rabbit. The cow needs the bald eagle. The cow needs the rabbit. The rabbit chases the cow. The rabbit likes the bald eagle. The rabbit needs the cow. If someone needs the rabbit and they like the bald eagle then the bald eagle is green. If the cow chases the bald eagle then the cow likes the bald eagle. If someone chases the rabbit and they are green then they like the rabbit.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
If someone needs the rabbit and they like the bald eagle then the bald eagle is green.
((("someone" "needs" "rabbit" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
If the cow chases the bald eagle then the cow likes the bald eagle.
((("cow" "chases" "bald eagle" "+")) -> ("cow" "likes" "bald eagle" "+"))
If someone chases the rabbit and they are green then they like the rabbit.
((("someone" "chases" "rabbit" "+") ("someone" "is" "green" "+")) -> ("someone" "likes" "rabbit" "+"))
The cow is nice.
True
1
proof
[(triple7)]
("cow" "is" "nice" "+")
triple7
The cow does not need the bald eagle.
False
1
inv-proof
[(triple12)]
("cow" "needs" "bald eagle" "-")
triple12
The bald eagle is green.
True
3
proof
[(((triple13 triple10) -> rule1) OR ((triple13 ((triple4) -> rule2)) -> rule1))]
("bald eagle" "is" "green" "+")
((triple13 triple10) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
((triple13 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The bald eagle is not green.
False
3
inv-proof
[(((triple13 triple10) -> rule1) OR ((triple13 ((triple4) -> rule2)) -> rule1))]
("bald eagle" "is" "green" "-")
((triple13 triple10) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
((triple13 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The rabbit is nice.
Unknown
random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "+")
The rabbit does not need the bald eagle.
Unknown
inv-random
[@0: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "bald eagle" "-")
The bald eagle needs the cow.
Unknown
random
[@0: The bald eagle needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cow" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle likes the cow.[(triple3)] The cow chases the bald eagle.[(triple4)] The cow chases the rabbit.[(triple5)] The cow is green.[(triple6)] The cow is nice.[(triple7)] The cow is rough.[(triple8)] The cow is round.[(triple9)] The cow likes the bald eagle.[(triple10 OR ((triple4) -> rule2))] The cow likes the rabbit.[(triple11 OR ((triple5 triple6) -> rule3))] The cow needs the bald eagle.[(triple12)] The cow needs the rabbit.[(triple13)] The rabbit chases the cow.[(triple14)] The rabbit likes the bald eagle.[(triple15)] The rabbit needs the cow.[(triple16)] @1: The bald eagle is green.[(((triple13 triple10) -> rule1) OR ((triple13 ((triple4) -> rule2)) -> rule1))] @2: The bald eagle likes the rabbit.[(((triple1 ((triple13 triple10) -> rule1)) -> rule3) OR ((triple1 ((triple13 ((triple4) -> rule2)) -> rule1)) -> rule3))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple4
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple5
The cow is green.
("cow" "is" "green" "+")
triple6
The cow is nice.
("cow" "is" "nice" "+")
triple7
The cow is rough.
("cow" "is" "rough" "+")
triple8
The cow is round.
("cow" "is" "round" "+")
triple9
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple10
((triple4) -> (rule2 % int1))
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int1
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple11
((triple5 triple6) -> (rule3 % int1))
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple12
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple13
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple14
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple15
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple16
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple13 triple10) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
((triple13 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
((triple1 ((triple13 triple10) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
((triple1 ((triple13 ((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
int3