The bald eagle is kind. The bald eagle likes the mouse. The bald eagle visits the mouse. The mouse chases the bald eagle. The mouse chases the squirrel. The mouse is cold. The mouse is rough. The mouse likes the bald eagle. The mouse visits the bald eagle. The squirrel is cold. The squirrel is red. The squirrel is rough. If something likes the squirrel and the squirrel is kind then the squirrel likes the bald eagle. If something is rough then it likes the squirrel. If something visits the mouse then it chases the mouse. If something likes the squirrel and it likes the mouse then the squirrel chases the bald eagle. If something likes the squirrel then it visits the bald eagle. If something visits the bald eagle then the bald eagle likes the squirrel.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If something likes the squirrel and the squirrel is kind then the squirrel likes the bald eagle.
((("something" "likes" "squirrel" "+") ("squirrel" "is" "kind" "+")) -> ("squirrel" "likes" "bald eagle" "+"))
If something is rough then it likes the squirrel.
((("something" "is" "rough" "+")) -> ("something" "likes" "squirrel" "+"))
If something visits the mouse then it chases the mouse.
((("something" "visits" "mouse" "+")) -> ("something" "chases" "mouse" "+"))
If something likes the squirrel and it likes the mouse then the squirrel chases the bald eagle.
((("something" "likes" "squirrel" "+") ("something" "likes" "mouse" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
If something likes the squirrel then it visits the bald eagle.
((("something" "likes" "squirrel" "+")) -> ("something" "visits" "bald eagle" "+"))
If something visits the bald eagle then the bald eagle likes the squirrel.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "likes" "squirrel" "+"))
The mouse is rough.
True
1
proof
[(triple7)]
("mouse" "is" "rough" "+")
triple7
The squirrel is not cold.
False
1
inv-proof
[(triple10)]
("squirrel" "is" "cold" "-")
triple10
The mouse likes the squirrel.
True
2
proof
[(((triple7) -> rule2))]
("mouse" "likes" "squirrel" "+")
((triple7) -> (rule2 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The bald eagle does not like the squirrel.
False
2
inv-proof
[(((triple9) -> rule6) OR ((((((triple12) -> rule2)) -> rule5)) -> rule6) OR ((((((triple7) -> rule2)) -> rule5)) -> rule6))]
("bald eagle" "likes" "squirrel" "-")
((triple9) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
((((((triple12) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The squirrel chases the bald eagle.
True
4
proof
[(((((triple9) -> rule6) triple2) -> rule4) OR ((((((((triple12) -> rule2)) -> rule5)) -> rule6) triple2) -> rule4) OR ((((((((triple7) -> rule2)) -> rule5)) -> rule6) triple2) -> rule4))]
("squirrel" "chases" "bald eagle" "+")
((((triple9) -> (rule6 % int2)) triple2) -> (rule4 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
((((((((triple12) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
((((((((triple7) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The squirrel does not chase the bald eagle.
False
4
inv-proof
[(((((triple9) -> rule6) triple2) -> rule4) OR ((((((((triple12) -> rule2)) -> rule5)) -> rule6) triple2) -> rule4) OR ((((((((triple7) -> rule2)) -> rule5)) -> rule6) triple2) -> rule4))]
("squirrel" "chases" "bald eagle" "-")
((((triple9) -> (rule6 % int2)) triple2) -> (rule4 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
((((((((triple12) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
((((((((triple7) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The squirrel does not chase the mouse.
Unknown
inv-rconc
[@1: The squirrel chases the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "chases" "mouse" "-")
The mouse chases the mouse.
Unknown
rconc
[@1: The mouse chases the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "chases" "mouse" "+")
The squirrel does not like the bald eagle.
Unknown
inv-rconc
[@1: The squirrel likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "bald eagle" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
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 squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bald eagle visits the mouse.[(triple3)] The mouse chases the bald eagle.[(triple4)] The mouse chases the squirrel.[(triple5)] The mouse is cold.[(triple6)] The mouse is rough.[(triple7)] The mouse likes the bald eagle.[(triple8)] The mouse visits the bald eagle.[(triple9 OR ((((triple7) -> rule2)) -> rule5))] The squirrel is cold.[(triple10)] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] @1: The bald eagle chases the mouse.[(((triple3) -> rule3))] The bald eagle likes the squirrel.[(((triple9) -> rule6) OR ((((((triple12) -> rule2)) -> rule5)) -> rule6) OR ((((((triple7) -> rule2)) -> rule5)) -> rule6))] The mouse likes the squirrel.[(((triple7) -> rule2))] The squirrel likes the squirrel.[(((triple12) -> rule2))] @2: The bald eagle visits the bald eagle.[(((((triple9) -> rule6)) -> rule5) OR ((((((((triple12) -> rule2)) -> rule5)) -> rule6)) -> rule5) OR ((((((((triple7) -> rule2)) -> rule5)) -> rule6)) -> rule5))] The squirrel chases the bald eagle.[(((((triple9) -> rule6) triple2) -> rule4) OR ((((((((triple12) -> rule2)) -> rule5)) -> rule6) triple2) -> rule4) OR ((((((((triple7) -> rule2)) -> rule5)) -> rule6) triple2) -> rule4))] The squirrel visits the bald eagle.[(((((triple12) -> rule2)) -> rule5))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple3
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple4
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple5
The mouse is cold.
("mouse" "is" "cold" "+")
triple6
The mouse is rough.
("mouse" "is" "rough" "+")
triple7
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple8
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple9
((((triple7) -> (rule2 % int2))) -> (rule5 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple12
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
((triple3) -> (rule3 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
((triple9) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
((((((triple12) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int2
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int2
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
((triple7) -> (rule2 % int1))
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
((triple12) -> (rule2 % int1))
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((triple9) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
((((((((triple12) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
((((((((triple7) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
((((triple9) -> (rule6 % int2)) triple2) -> (rule4 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
((((((((triple12) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int3
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int4
((((((((triple7) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
int4
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
((((triple12) -> (rule2 % int2))) -> (rule5 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel likes the squirrel.
("squirrel" "likes" "squirrel" "+")
int2