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