The mouse chases the squirrel. The mouse eats the squirrel. The mouse is green. The mouse is nice. The mouse is red. The mouse is round. The mouse is young. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel eats the mouse. The squirrel is green. The squirrel is nice. The squirrel is round. The squirrel is young. The squirrel visits the mouse. If something is green and it eats the mouse then it visits the mouse. If something chases the mouse and the mouse eats the squirrel then the squirrel chases the mouse. If the squirrel chases the mouse then the mouse is green. If the mouse visits the squirrel then the squirrel visits the mouse. If something is red and it eats the mouse then it eats the squirrel. If the mouse visits the squirrel and the mouse is red then the squirrel is nice. If something visits the squirrel and it is red then it chases the mouse. If the squirrel is round then the squirrel is red.
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If something is green and it eats the mouse then it visits the mouse.
((("something" "is" "green" "+") ("something" "eats" "mouse" "+")) -> ("something" "visits" "mouse" "+"))
If something chases the mouse and the mouse eats the squirrel then the squirrel chases the mouse.
((("something" "chases" "mouse" "+") ("mouse" "eats" "squirrel" "+")) -> ("squirrel" "chases" "mouse" "+"))
If the squirrel chases the mouse then the mouse is green.
((("squirrel" "chases" "mouse" "+")) -> ("mouse" "is" "green" "+"))
If the mouse visits the squirrel then the squirrel visits the mouse.
((("mouse" "visits" "squirrel" "+")) -> ("squirrel" "visits" "mouse" "+"))
If something is red and it eats the mouse then it eats the squirrel.
((("something" "is" "red" "+") ("something" "eats" "mouse" "+")) -> ("something" "eats" "squirrel" "+"))
If the mouse visits the squirrel and the mouse is red then the squirrel is nice.
((("mouse" "visits" "squirrel" "+") ("mouse" "is" "red" "+")) -> ("squirrel" "is" "nice" "+"))
If something visits the squirrel and it is red then it chases the mouse.
((("something" "visits" "squirrel" "+") ("something" "is" "red" "+")) -> ("something" "chases" "mouse" "+"))
If the squirrel is round then the squirrel is red.
((("squirrel" "is" "round" "+")) -> ("squirrel" "is" "red" "+"))
The squirrel is round.
True
1
proof
[(triple13)]
("squirrel" "is" "round" "+")
triple13
The mouse is not nice.
False
1
inv-proof
[(triple4)]
("mouse" "is" "nice" "-")
triple4
The mouse chases the mouse.
True
3
proof
[(((triple8 triple5) -> rule7))]
("mouse" "chases" "mouse" "+")
((triple8 triple5) -> (rule7 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The squirrel is not red.
False
2
inv-proof
[(((triple13) -> rule8))]
("squirrel" "is" "red" "-")
((triple13) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel eats the squirrel.
True
4
proof
[(((((triple13) -> rule8) triple10) -> rule5))]
("squirrel" "eats" "squirrel" "+")
((((triple13) -> (rule8 % int2)) triple10) -> (rule5 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel does not eat the squirrel.
False
4
inv-proof
[(((((triple13) -> rule8) triple10) -> rule5))]
("squirrel" "eats" "squirrel" "-")
((((triple13) -> (rule8 % int2)) triple10) -> (rule5 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The mouse does not visit the mouse.
Unknown
inv-rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "visits" "mouse" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The mouse chases the squirrel.[(triple1)] The mouse eats the squirrel.[(triple2)] The mouse is green.[(triple3 OR ((triple9) -> rule3) OR ((((((triple8 triple5) -> rule7) triple2) -> rule2)) -> rule3))] The mouse is nice.[(triple4)] The mouse is red.[(triple5)] The mouse is round.[(triple6)] The mouse is young.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel chases the mouse.[(triple9 OR ((((triple8 triple5) -> rule7) triple2) -> rule2))] The squirrel eats the mouse.[(triple10)] The squirrel is green.[(triple11)] The squirrel is nice.[(triple12 OR ((triple8 triple5) -> rule6))] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel visits the mouse.[(triple15 OR ((triple8) -> rule4) OR ((triple11 triple10) -> rule1))] @1: The mouse chases the mouse.[(((triple8 triple5) -> rule7))] The squirrel is red.[(((triple13) -> rule8))] @2: The squirrel eats the squirrel.[(((((triple13) -> rule8) triple10) -> rule5))]
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple2
The mouse is green.
("mouse" "is" "green" "+")
triple3
((triple9) -> (rule3 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
((((((triple8 triple5) -> (rule7 % int3)) triple2) -> (rule2 % int2))) -> (rule3 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int2
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int3
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
The mouse is red.
("mouse" "is" "red" "+")
triple5
The mouse is round.
("mouse" "is" "round" "+")
triple6
The mouse is young.
("mouse" "is" "young" "+")
triple7
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple8
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple9
((((triple8 triple5) -> (rule7 % int2)) triple2) -> (rule2 % int1))
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int2
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple10
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
((triple8 triple5) -> (rule6 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple15
((triple8) -> (rule4 % int1))
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int1
((triple11 triple10) -> (rule1 % int1))
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple8 triple5) -> (rule7 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple13) -> (rule8 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((((triple13) -> (rule8 % int2)) triple10) -> (rule5 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2