The lion eats the mouse. The lion is blue. The lion does not visit the mouse. The lion does not visit the squirrel. The mouse eats the lion. The mouse eats the squirrel. The mouse is nice. The mouse likes the squirrel. The mouse visits the lion. The mouse visits the squirrel. The squirrel eats the lion. The squirrel eats the mouse. The squirrel is kind. The squirrel is nice. The squirrel does not like the lion. The squirrel likes the mouse. If someone visits the squirrel then they are not young. If someone is kind then they visit the squirrel. If someone visits the lion and they are not big then the lion does not like the squirrel. If the mouse visits the lion and the mouse is nice then the mouse is blue. If someone eats the lion then the lion eats the mouse. If someone is big and they do not visit the lion then the lion visits the squirrel. If the mouse eats the squirrel and the squirrel does not eat the mouse then the squirrel does not visit the mouse. If someone visits the squirrel and they are not young then they do not visit the mouse.
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion does not visit the mouse.
("lion" "visits" "mouse" "-")
The lion does not visit the squirrel.
("lion" "visits" "squirrel" "-")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel does not like the lion.
("squirrel" "likes" "lion" "-")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
If someone visits the squirrel then they are not young.
((("someone" "visits" "squirrel" "+")) -> ("someone" "is" "young" "-"))
If someone is kind then they visit the squirrel.
((("someone" "is" "kind" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone visits the lion and they are not big then the lion does not like the squirrel.
((("someone" "visits" "lion" "+") ("someone" "is" "big" "~")) -> ("lion" "likes" "squirrel" "-"))
If the mouse visits the lion and the mouse is nice then the mouse is blue.
((("mouse" "visits" "lion" "+") ("mouse" "is" "nice" "+")) -> ("mouse" "is" "blue" "+"))
If someone eats the lion then the lion eats the mouse.
((("someone" "eats" "lion" "+")) -> ("lion" "eats" "mouse" "+"))
If someone is big and they do not visit the lion then the lion visits the squirrel.
((("someone" "is" "big" "+") ("someone" "visits" "lion" "~")) -> ("lion" "visits" "squirrel" "+"))
If the mouse eats the squirrel and the squirrel does not eat the mouse then the squirrel does not visit the mouse.
((("mouse" "eats" "squirrel" "+") ("squirrel" "eats" "mouse" "~")) -> ("squirrel" "visits" "mouse" "-"))
If someone visits the squirrel and they are not young then they do not visit the mouse.
((("someone" "visits" "squirrel" "+") ("someone" "is" "young" "~")) -> ("someone" "visits" "mouse" "-"))
The lion is blue.
True
1
proof
[(triple2)]
("lion" "is" "blue" "+")
triple2
The mouse does not visit the lion.
False
1
inv-proof
[(triple9)]
("mouse" "visits" "lion" "-")
triple9
The mouse is blue.
True
3
proof
[(((triple9 triple7) -> rule4))]
("mouse" "is" "blue" "+")
((triple9 triple7) -> (rule4 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The squirrel does not visit the squirrel.
False
2
inv-proof
[(((triple13) -> rule2))]
("squirrel" "visits" "squirrel" "-")
((triple13) -> (rule2 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel is not young.
True
3
proof
[(((((triple13) -> rule2)) -> rule1))]
("squirrel" "is" "young" "-")
((((triple13) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel is not young.
("squirrel" "is" "young" "-")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The mouse visits the mouse.
False
4
inv-proof
[(((triple10 ((triple10) -> rule1)) -> rule8))]
("mouse" "visits" "mouse" "+")
((triple10 ((triple10) -> (rule1 % int2))) -> (rule8 % int1))
The mouse does not visit the mouse.
("mouse" "visits" "mouse" "-")
int1
The mouse is not young.
("mouse" "is" "young" "-")
int2
The squirrel does not visit the mouse.
True
6
proof
[(((((triple13) -> rule2) ((((triple13) -> rule2)) -> rule1)) -> rule8))]
("squirrel" "visits" "mouse" "-")
((((triple13) -> (rule2 % int3)) ((((triple13) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The squirrel does not visit the mouse.
("squirrel" "visits" "mouse" "-")
int1
The squirrel is not young.
("squirrel" "is" "young" "-")
int2
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int3
The squirrel visits the mouse.
False
6
inv-proof
[(((((triple13) -> rule2) ((((triple13) -> rule2)) -> rule1)) -> rule8))]
("squirrel" "visits" "mouse" "+")
((((triple13) -> (rule2 % int3)) ((((triple13) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The squirrel does not visit the mouse.
("squirrel" "visits" "mouse" "-")
int1
The squirrel is not young.
("squirrel" "is" "young" "-")
int2
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int3
The mouse does not like the lion.
Unknown
inv-random
[@0: The mouse likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "lion" "-")
The mouse is kind.
Unknown
random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "+")
The squirrel does not visit the lion.
Unknown
inv-random
[@0: The squirrel visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "lion" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The mouse is big.
Unknown
random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The lion does not visit the mouse.[(triple3)] The lion does not visit the squirrel.[(triple4)] The lion eats the mouse.[(triple1 OR ((triple11) -> rule5) OR ((triple5) -> rule5))] The lion is blue.[(triple2)] The mouse eats the lion.[(triple5)] The mouse eats the squirrel.[(triple6)] The mouse is nice.[(triple7)] The mouse likes the squirrel.[(triple8)] The mouse visits the lion.[(triple9)] The mouse visits the squirrel.[(triple10)] The squirrel does not like the lion.[(triple15)] The squirrel eats the lion.[(triple11)] The squirrel eats the mouse.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is nice.[(triple14)] The squirrel likes the mouse.[(triple16)] @1: The mouse is blue.[(((triple9 triple7) -> rule4))] The mouse is not young.[(((triple10) -> rule1))] The squirrel visits the squirrel.[(((triple13) -> rule2))] @2: The mouse does not visit the mouse.[(((triple10 ((triple10) -> rule1)) -> rule8))] The squirrel is not young.[(((((triple13) -> rule2)) -> rule1))] @3: The squirrel does not visit the mouse.[(((((triple13) -> rule2) ((((triple13) -> rule2)) -> rule1)) -> rule8))]
The lion does not visit the mouse.
("lion" "visits" "mouse" "-")
triple3
The lion does not visit the squirrel.
("lion" "visits" "squirrel" "-")
triple4
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple1
((triple11) -> (rule5 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
((triple5) -> (rule5 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
triple2
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple5
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple6
The mouse is nice.
("mouse" "is" "nice" "+")
triple7
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple8
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple9
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple10
The squirrel does not like the lion.
("squirrel" "likes" "lion" "-")
triple15
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple11
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple13
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple14
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple16
The mouse is blue.
("mouse" "is" "blue" "+")
((triple9 triple7) -> (rule4 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is not young.
("mouse" "is" "young" "-")
((triple10) -> (rule1 % int1))
The mouse is not young.
("mouse" "is" "young" "-")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple13) -> (rule2 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The mouse does not visit the mouse.
("mouse" "visits" "mouse" "-")
((triple10 ((triple10) -> (rule1 % int2))) -> (rule8 % int1))
The mouse does not visit the mouse.
("mouse" "visits" "mouse" "-")
int1
The mouse is not young.
("mouse" "is" "young" "-")
int2
The squirrel is not young.
("squirrel" "is" "young" "-")
((((triple13) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel is not young.
("squirrel" "is" "young" "-")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel does not visit the mouse.
("squirrel" "visits" "mouse" "-")
((((triple13) -> (rule2 % int3)) ((((triple13) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The squirrel does not visit the mouse.
("squirrel" "visits" "mouse" "-")
int1
The squirrel is not young.
("squirrel" "is" "young" "-")
int2
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int3