The bald eagle chases the mouse. The bald eagle is cold. The bald eagle is rough. The bald eagle visits the squirrel. The mouse is nice. The mouse is rough. The mouse is round. The mouse visits the bald eagle. The mouse visits the squirrel. The squirrel chases the bald eagle. The squirrel chases the mouse. The squirrel sees the bald eagle. If someone visits the squirrel and they visit the mouse then the squirrel is round. If someone is round then they visit the mouse.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If someone visits the squirrel and they visit the mouse then the squirrel is round.
((("someone" "visits" "squirrel" "+") ("someone" "visits" "mouse" "+")) -> ("squirrel" "is" "round" "+"))
If someone is round then they visit the mouse.
((("someone" "is" "round" "+")) -> ("someone" "visits" "mouse" "+"))
The bald eagle chases the mouse.
True
1
proof
[(triple1)]
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle does not chase the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "mouse" "-")
triple1
The mouse visits the mouse.
True
2
proof
[(((triple7) -> rule2))]
("mouse" "visits" "mouse" "+")
((triple7) -> (rule2 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse does not visit the mouse.
False
2
inv-proof
[(((triple7) -> rule2))]
("mouse" "visits" "mouse" "-")
((triple7) -> (rule2 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The squirrel is round.
True
4
proof
[(((triple9 ((triple7) -> rule2)) -> rule1))]
("squirrel" "is" "round" "+")
((triple9 ((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The squirrel is not round.
False
4
inv-proof
[(((triple9 ((triple7) -> rule2)) -> rule1))]
("squirrel" "is" "round" "-")
((triple9 ((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The squirrel visits the mouse.
True
5
proof
[(((((triple9 ((triple7) -> rule2)) -> rule1)) -> rule2))]
("squirrel" "visits" "mouse" "+")
((((triple9 ((triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The squirrel does not visit the mouse.
False
5
inv-proof
[(((((triple9 ((triple7) -> rule2)) -> rule1)) -> rule2))]
("squirrel" "visits" "mouse" "-")
((((triple9 ((triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The bald eagle does not visit the mouse.
Unknown
inv-rconc
[@1: The bald eagle visits the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "mouse" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The mouse sees the bald eagle.
Unknown
random
[@0: The mouse sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bald eagle" "+")
The bald eagle does not see the squirrel.
Unknown
inv-random
[@0: The bald eagle sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "squirrel" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The mouse is nice.[(triple5)] The mouse is rough.[(triple6)] The mouse is round.[(triple7)] The mouse visits the bald eagle.[(triple8)] The mouse visits the squirrel.[(triple9)] The squirrel chases the bald eagle.[(triple10)] The squirrel chases the mouse.[(triple11)] The squirrel sees the bald eagle.[(triple12)] @1: The mouse visits the mouse.[(((triple7) -> rule2))] @2: The squirrel is round.[(((triple9 ((triple7) -> rule2)) -> rule1))] @3: The squirrel visits the mouse.[(((((triple9 ((triple7) -> rule2)) -> rule1)) -> rule2))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple4
The mouse is nice.
("mouse" "is" "nice" "+")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple6
The mouse is round.
("mouse" "is" "round" "+")
triple7
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple8
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple9
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple10
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple11
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple12
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((triple7) -> (rule2 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((triple9 ((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
((((triple9 ((triple7) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3