The bald eagle chases the rabbit. The bald eagle is round. The bald eagle does not like the cow. The bald eagle needs the cow. The bald eagle needs the rabbit. The cow chases the bald eagle. The cow is nice. The cow is not round. The cow likes the bald eagle. The cow needs the bald eagle. The rabbit chases the bald eagle. The rabbit chases the cow. The rabbit is nice. The rabbit is young. The rabbit likes the cow. If the bald eagle does not like the cow then the bald eagle does not like the rabbit. If something likes the rabbit and it is not nice then the rabbit likes the bald eagle. If something likes the bald eagle then it is not round. If something chases the cow then it needs the bald eagle. If the bald eagle chases the rabbit and the bald eagle needs the rabbit then the bald eagle is not cold. If the bald eagle likes the rabbit and the bald eagle is not cold then the bald eagle is blue.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is not round.
("cow" "is" "round" "-")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
If the bald eagle does not like the cow then the bald eagle does not like the rabbit.
((("bald eagle" "likes" "cow" "~")) -> ("bald eagle" "likes" "rabbit" "-"))
If something likes the rabbit and it is not nice then the rabbit likes the bald eagle.
((("something" "likes" "rabbit" "+") ("something" "is" "nice" "~")) -> ("rabbit" "likes" "bald eagle" "+"))
If something likes the bald eagle then it is not round.
((("something" "likes" "bald eagle" "+")) -> ("something" "is" "round" "-"))
If something chases the cow then it needs the bald eagle.
((("something" "chases" "cow" "+")) -> ("something" "needs" "bald eagle" "+"))
If the bald eagle chases the rabbit and the bald eagle needs the rabbit then the bald eagle is not cold.
((("bald eagle" "chases" "rabbit" "+") ("bald eagle" "needs" "rabbit" "+")) -> ("bald eagle" "is" "cold" "-"))
If the bald eagle likes the rabbit and the bald eagle is not cold then the bald eagle is blue.
((("bald eagle" "likes" "rabbit" "+") ("bald eagle" "is" "cold" "~")) -> ("bald eagle" "is" "blue" "+"))
The bald eagle needs the cow.
True
1
proof
[(triple4)]
("bald eagle" "needs" "cow" "+")
triple4
The rabbit does not like the cow.
False
1
inv-proof
[(triple15)]
("rabbit" "likes" "cow" "-")
triple15
The rabbit needs the bald eagle.
True
2
proof
[(((triple12) -> rule4))]
("rabbit" "needs" "bald eagle" "+")
((triple12) -> (rule4 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The bald eagle is cold.
False
3
inv-proof
[(((triple1 triple5) -> rule5))]
("bald eagle" "is" "cold" "+")
((triple1 triple5) -> (rule5 % int1))
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
int1
The bald eagle is not blue.
Unknown
inv-rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The bald eagle needs the bald eagle.
Unknown
rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The rabbit does not need the cow.
Unknown
inv-random
[@0: The rabbit needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "cow" "-")
The cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle does not like the cow.[(triple3)] The bald eagle is round.[(triple2)] The bald eagle needs the cow.[(triple4)] The bald eagle needs the rabbit.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow is nice.[(triple7)] The cow is not round.[(triple8 OR ((triple9) -> rule3))] The cow likes the bald eagle.[(triple9)] The cow needs the bald eagle.[(triple10)] The rabbit chases the bald eagle.[(triple11)] The rabbit chases the cow.[(triple12)] The rabbit is nice.[(triple13)] The rabbit is young.[(triple14)] The rabbit likes the cow.[(triple15)] @1: The bald eagle does not like the rabbit.[(((triple3) -> rule1))] The bald eagle is not cold.[(((triple1 triple5) -> rule5))] The rabbit needs the bald eagle.[(((triple12) -> rule4))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple4
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple5
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple6
The cow is nice.
("cow" "is" "nice" "+")
triple7
The cow is not round.
("cow" "is" "round" "-")
triple8
((triple9) -> (rule3 % int1))
The cow is not round.
("cow" "is" "round" "-")
int1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple9
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple10
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple11
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple12
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple13
The rabbit is young.
("rabbit" "is" "young" "+")
triple14
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple15
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
((triple3) -> (rule1 % int1))
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
int1
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
((triple1 triple5) -> (rule5 % int1))
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
((triple12) -> (rule4 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1