The bald eagle chases the lion. The bald eagle needs the bear. The bald eagle visits the rabbit. The bear chases the bald eagle. The bear is green. The bear is kind. The bear is young. The bear needs the bald eagle. The lion chases the bear. The rabbit is green. The rabbit is young. The rabbit needs the bald eagle. The rabbit needs the bear. The rabbit needs the lion. The rabbit visits the bear. If someone chases the lion then they chase the rabbit. If someone visits the rabbit then the rabbit chases the bear. If someone needs the bear then they need the bald eagle. If someone visits the bald eagle and they are red then they chase the bear. If someone visits the bear and the bear chases the lion then they chase the bear. If someone needs the bear then the bear needs the rabbit. If someone chases the lion and the lion is green then the lion needs the rabbit. If someone is cold then they chase the bald eagle.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If someone chases the lion then they chase the rabbit.
((("someone" "chases" "lion" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone visits the rabbit then the rabbit chases the bear.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "chases" "bear" "+"))
If someone needs the bear then they need the bald eagle.
((("someone" "needs" "bear" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone visits the bald eagle and they are red then they chase the bear.
((("someone" "visits" "bald eagle" "+") ("someone" "is" "red" "+")) -> ("someone" "chases" "bear" "+"))
If someone visits the bear and the bear chases the lion then they chase the bear.
((("someone" "visits" "bear" "+") ("bear" "chases" "lion" "+")) -> ("someone" "chases" "bear" "+"))
If someone needs the bear then the bear needs the rabbit.
((("someone" "needs" "bear" "+")) -> ("bear" "needs" "rabbit" "+"))
If someone chases the lion and the lion is green then the lion needs the rabbit.
((("someone" "chases" "lion" "+") ("lion" "is" "green" "+")) -> ("lion" "needs" "rabbit" "+"))
If someone is cold then they chase the bald eagle.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "bald eagle" "+"))
The bald eagle visits the rabbit.
True
1
proof
[(triple3)]
("bald eagle" "visits" "rabbit" "+")
triple3
The bald eagle does not need the bear.
False
1
inv-proof
[(triple2)]
("bald eagle" "needs" "bear" "-")
triple2
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The bald eagle needs the lion.
Unknown
random
[@0: The bald eagle needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "lion" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle needs the bear.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear is green.[(triple5)] The bear is kind.[(triple6)] The bear is young.[(triple7)] The bear needs the bald eagle.[(triple8)] The lion chases the bear.[(triple9)] The rabbit is green.[(triple10)] The rabbit is young.[(triple11)] The rabbit needs the bald eagle.[(triple12 OR ((triple13) -> rule3))] The rabbit needs the bear.[(triple13)] The rabbit needs the lion.[(triple14)] The rabbit visits the bear.[(triple15)] @1: The bald eagle chases the rabbit.[(((triple1) -> rule1))] The bald eagle needs the bald eagle.[(((triple2) -> rule3))] The bear needs the rabbit.[(((triple13) -> rule6) OR ((triple2) -> rule6))] The rabbit chases the bear.[(((triple3) -> rule2))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple4
The bear is green.
("bear" "is" "green" "+")
triple5
The bear is kind.
("bear" "is" "kind" "+")
triple6
The bear is young.
("bear" "is" "young" "+")
triple7
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple8
The lion chases the bear.
("lion" "chases" "bear" "+")
triple9
The rabbit is green.
("rabbit" "is" "green" "+")
triple10
The rabbit is young.
("rabbit" "is" "young" "+")
triple11
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple12
((triple13) -> (rule3 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple13
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple14
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple15
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
((triple1) -> (rule1 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((triple2) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
((triple13) -> (rule6 % int1))
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int1
((triple2) -> (rule6 % int1))
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int1
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
((triple3) -> (rule2 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1