The mouse does not eat the squirrel. The mouse is cold. The mouse is young. The mouse likes the squirrel. The mouse visits the squirrel. The squirrel is not cold. The squirrel visits the mouse. If someone is nice and not cold then they do not like the squirrel. If someone is kind and not cold then they do not eat the squirrel. If the mouse visits the squirrel and the mouse is kind then the squirrel is kind. If the mouse is young then the mouse is kind. If someone eats the squirrel and the squirrel visits the mouse then the mouse is round. If someone eats the squirrel and they like the mouse then the mouse likes the squirrel. If someone likes the mouse and they visit the mouse then the mouse likes the squirrel. If the mouse is kind and the mouse does not eat the squirrel then the squirrel visits the mouse.
The mouse does not eat the squirrel.
("mouse" "eats" "squirrel" "-")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel is not cold.
("squirrel" "is" "cold" "-")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone is nice and not cold then they do not like the squirrel.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "~")) -> ("someone" "likes" "squirrel" "-"))
If someone is kind and not cold then they do not eat the squirrel.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "~")) -> ("someone" "eats" "squirrel" "-"))
If the mouse visits the squirrel and the mouse is kind then the squirrel is kind.
((("mouse" "visits" "squirrel" "+") ("mouse" "is" "kind" "+")) -> ("squirrel" "is" "kind" "+"))
If the mouse is young then the mouse is kind.
((("mouse" "is" "young" "+")) -> ("mouse" "is" "kind" "+"))
If someone eats the squirrel and the squirrel visits the mouse then the mouse is round.
((("someone" "eats" "squirrel" "+") ("squirrel" "visits" "mouse" "+")) -> ("mouse" "is" "round" "+"))
If someone eats the squirrel and they like the mouse then the mouse likes the squirrel.
((("someone" "eats" "squirrel" "+") ("someone" "likes" "mouse" "+")) -> ("mouse" "likes" "squirrel" "+"))
If someone likes the mouse and they visit the mouse then the mouse likes the squirrel.
((("someone" "likes" "mouse" "+") ("someone" "visits" "mouse" "+")) -> ("mouse" "likes" "squirrel" "+"))
If the mouse is kind and the mouse does not eat the squirrel then the squirrel visits the mouse.
((("mouse" "is" "kind" "+") ("mouse" "eats" "squirrel" "~")) -> ("squirrel" "visits" "mouse" "+"))
The squirrel visits the mouse.
True
1
proof
[(triple7 OR ((((triple3) -> rule4) triple1) -> rule8))]
("squirrel" "visits" "mouse" "+")
triple7
((((triple3) -> (rule4 % int2)) triple1) -> (rule8 % int1))
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse does not like the squirrel.
False
1
inv-proof
[(triple4)]
("mouse" "likes" "squirrel" "-")
triple4
The mouse is kind.
True
2
proof
[(((triple3) -> rule4))]
("mouse" "is" "kind" "+")
((triple3) -> (rule4 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is not kind.
False
2
inv-proof
[(((triple3) -> rule4))]
("mouse" "is" "kind" "-")
((triple3) -> (rule4 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The squirrel is kind.
True
4
proof
[(((triple5 ((triple3) -> rule4)) -> rule3))]
("squirrel" "is" "kind" "+")
((triple5 ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The squirrel is not kind.
False
4
inv-proof
[(((triple5 ((triple3) -> rule4)) -> rule3))]
("squirrel" "is" "kind" "-")
((triple5 ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is not round.
Unknown
inv-rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "round" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
The squirrel does not like the mouse.
Unknown
inv-random
[@0: The squirrel likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "mouse" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
@0: The mouse does not eat the squirrel.[(triple1)] The mouse is cold.[(triple2)] The mouse is young.[(triple3)] The mouse likes the squirrel.[(triple4)] The mouse visits the squirrel.[(triple5)] The squirrel is not cold.[(triple6)] The squirrel visits the mouse.[(triple7 OR ((((triple3) -> rule4) triple1) -> rule8))] @1: The mouse is kind.[(((triple3) -> rule4))] @2: The squirrel is kind.[(((triple5 ((triple3) -> rule4)) -> rule3))] @3: The squirrel does not eat the squirrel.[(((((triple5 ((triple3) -> rule4)) -> rule3) triple6) -> rule2))]
The mouse does not eat the squirrel.
("mouse" "eats" "squirrel" "-")
triple1
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The mouse is young.
("mouse" "is" "young" "+")
triple3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple4
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple5
The squirrel is not cold.
("squirrel" "is" "cold" "-")
triple6
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple7
((((triple3) -> (rule4 % int2)) triple1) -> (rule8 % int1))
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
((triple3) -> (rule4 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple5 ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The squirrel does not eat the squirrel.
("squirrel" "eats" "squirrel" "-")
((((triple5 ((triple3) -> (rule4 % int3))) -> (rule3 % int2)) triple6) -> (rule2 % int1))
The squirrel does not eat the squirrel.
("squirrel" "eats" "squirrel" "-")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3