The mouse does not chase the squirrel. The mouse eats the squirrel. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel eats the mouse. The squirrel is not nice. The squirrel visits the mouse. If something chases the mouse then it is big. If something eats the squirrel and it does not visit the squirrel then it is rough.
The mouse does not chase the squirrel.
("mouse" "chases" "squirrel" "-")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
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 not nice.
("squirrel" "is" "nice" "-")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If something chases the mouse then it is big.
((("something" "chases" "mouse" "+")) -> ("something" "is" "big" "+"))
If something eats the squirrel and it does not visit the squirrel then it is rough.
((("something" "eats" "squirrel" "+") ("something" "visits" "squirrel" "~")) -> ("something" "is" "rough" "+"))
The squirrel visits the mouse.
True
1
proof
[(triple7)]
("squirrel" "visits" "mouse" "+")
triple7
The squirrel does not chase the mouse.
False
1
inv-proof
[(triple4)]
("squirrel" "chases" "mouse" "-")
triple4
The squirrel is big.
True
2
proof
[(((triple4) -> rule1))]
("squirrel" "is" "big" "+")
((triple4) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is not big.
False
2
inv-proof
[(((triple4) -> rule1))]
("squirrel" "is" "big" "-")
((triple4) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The mouse is not rough.
Unknown
inv-rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "rough" "-")
The mouse is big.
Unknown
rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "big" "+")
The squirrel is not round.
Unknown
inv-random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The mouse does not chase the squirrel.[(triple1)] The mouse eats the squirrel.[(triple2)] The mouse visits the squirrel.[(triple3)] The squirrel chases the mouse.[(triple4)] The squirrel eats the mouse.[(triple5)] The squirrel is not nice.[(triple6)] The squirrel visits the mouse.[(triple7)] @1: The squirrel is big.[(((triple4) -> rule1))]
The mouse does not chase the squirrel.
("mouse" "chases" "squirrel" "-")
triple1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple2
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple3
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple4
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple5
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple6
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple7
The squirrel is big.
("squirrel" "is" "big" "+")
((triple4) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1