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