The lion chases the mouse. The lion does not eat the mouse. The lion eats the squirrel. The lion is blue. The lion is not green. The lion is nice. The lion is rough. The lion visits the mouse. The mouse eats the squirrel. The mouse is blue. The mouse is green. The mouse visits the lion. The squirrel does not chase the lion. The squirrel eats the mouse. The squirrel visits the mouse. If something eats the lion then the lion chases the squirrel. If the squirrel eats the mouse then the mouse eats the lion. If something eats the squirrel and it chases the squirrel then the squirrel is cold.
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion does not eat the mouse.
("lion" "eats" "mouse" "-")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is not green.
("lion" "is" "green" "-")
The lion is nice.
("lion" "is" "nice" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
The squirrel does not chase the lion.
("squirrel" "chases" "lion" "-")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If something eats the lion then the lion chases the squirrel.
((("something" "eats" "lion" "+")) -> ("lion" "chases" "squirrel" "+"))
If the squirrel eats the mouse then the mouse eats the lion.
((("squirrel" "eats" "mouse" "+")) -> ("mouse" "eats" "lion" "+"))
If something eats the squirrel and it chases the squirrel then the squirrel is cold.
((("something" "eats" "squirrel" "+") ("something" "chases" "squirrel" "+")) -> ("squirrel" "is" "cold" "+"))
The squirrel does not chase the lion.
True
1
proof
[(triple13)]
("squirrel" "chases" "lion" "-")
triple13
The lion does not visit the mouse.
False
1
inv-proof
[(triple8)]
("lion" "visits" "mouse" "-")
triple8
The mouse eats the lion.
True
2
proof
[(((triple14) -> rule2))]
("mouse" "eats" "lion" "+")
((triple14) -> (rule2 % int1))
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int1
The mouse does not eat the lion.
False
2
inv-proof
[(((triple14) -> rule2))]
("mouse" "eats" "lion" "-")
((triple14) -> (rule2 % int1))
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int1
The lion chases the squirrel.
True
3
proof
[(((((triple14) -> rule2)) -> rule1))]
("lion" "chases" "squirrel" "+")
((((triple14) -> (rule2 % int2))) -> (rule1 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int2
The lion does not chase the squirrel.
False
3
inv-proof
[(((((triple14) -> rule2)) -> rule1))]
("lion" "chases" "squirrel" "-")
((((triple14) -> (rule2 % int2))) -> (rule1 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int2
The squirrel is cold.
True
5
proof
[(((triple3 ((((triple14) -> rule2)) -> rule1)) -> rule3))]
("squirrel" "is" "cold" "+")
((triple3 ((((triple14) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int3
The squirrel is not cold.
False
5
inv-proof
[(((triple3 ((((triple14) -> rule2)) -> rule1)) -> rule3))]
("squirrel" "is" "cold" "-")
((triple3 ((((triple14) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int3
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 lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The mouse chases the squirrel.
Unknown
random
[@0: The mouse chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "squirrel" "+")
The mouse does not visit the mouse.
Unknown
inv-random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
The mouse is not nice.
Unknown
inv-random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The lion chases the mouse.[(triple1)] The lion does not eat the mouse.[(triple2)] The lion eats the squirrel.[(triple3)] The lion is blue.[(triple4)] The lion is nice.[(triple6)] The lion is not green.[(triple5)] The lion is rough.[(triple7)] The lion visits the mouse.[(triple8)] The mouse eats the squirrel.[(triple9)] The mouse is blue.[(triple10)] The mouse is green.[(triple11)] The mouse visits the lion.[(triple12)] The squirrel does not chase the lion.[(triple13)] The squirrel eats the mouse.[(triple14)] The squirrel visits the mouse.[(triple15)] @1: The mouse eats the lion.[(((triple14) -> rule2))] @2: The lion chases the squirrel.[(((((triple14) -> rule2)) -> rule1))] @3: The squirrel is cold.[(((triple3 ((((triple14) -> rule2)) -> rule1)) -> rule3))]
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple1
The lion does not eat the mouse.
("lion" "eats" "mouse" "-")
triple2
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple3
The lion is blue.
("lion" "is" "blue" "+")
triple4
The lion is nice.
("lion" "is" "nice" "+")
triple6
The lion is not green.
("lion" "is" "green" "-")
triple5
The lion is rough.
("lion" "is" "rough" "+")
triple7
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple8
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple9
The mouse is blue.
("mouse" "is" "blue" "+")
triple10
The mouse is green.
("mouse" "is" "green" "+")
triple11
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple12
The squirrel does not chase the lion.
("squirrel" "chases" "lion" "-")
triple13
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple14
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple15
The mouse eats the lion.
("mouse" "eats" "lion" "+")
((triple14) -> (rule2 % int1))
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
((((triple14) -> (rule2 % int2))) -> (rule1 % int1))
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int1
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple3 ((((triple14) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
int2
The mouse eats the lion.
("mouse" "eats" "lion" "+")
int3