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