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