The lion eats the squirrel. The lion is rough. The lion is young. The lion likes the squirrel. The lion needs the squirrel. The squirrel eats the lion. The squirrel is cold. The squirrel is green. The squirrel is red. The squirrel is young. If something is cold then it eats the lion. If something is rough and it does not eat the squirrel then it is young. If something likes the squirrel and it eats the squirrel then it is cold.
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If something is cold then it eats the lion.
((("something" "is" "cold" "+")) -> ("something" "eats" "lion" "+"))
If something is rough and it does not eat the squirrel then it is young.
((("something" "is" "rough" "+") ("something" "eats" "squirrel" "~")) -> ("something" "is" "young" "+"))
If something likes the squirrel and it eats the squirrel then it is cold.
((("something" "likes" "squirrel" "+") ("something" "eats" "squirrel" "+")) -> ("something" "is" "cold" "+"))
The squirrel is cold.
True
1
proof
[(triple7)]
("squirrel" "is" "cold" "+")
triple7
The squirrel is not green.
False
1
inv-proof
[(triple8)]
("squirrel" "is" "green" "-")
triple8
The lion is cold.
True
3
proof
[(((triple4 triple1) -> rule3))]
("lion" "is" "cold" "+")
((triple4 triple1) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is not cold.
False
3
inv-proof
[(((triple4 triple1) -> rule3))]
("lion" "is" "cold" "-")
((triple4 triple1) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion eats the lion.
True
4
proof
[(((((triple4 triple1) -> rule3)) -> rule1))]
("lion" "eats" "lion" "+")
((((triple4 triple1) -> (rule3 % int2))) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion does not eat the lion.
False
4
inv-proof
[(((((triple4 triple1) -> rule3)) -> rule1))]
("lion" "eats" "lion" "-")
((((triple4 triple1) -> (rule3 % int2))) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
The squirrel does not like the lion.
Unknown
inv-random
[@0: The squirrel likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "lion" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
@0: The lion eats the squirrel.[(triple1)] The lion is rough.[(triple2)] The lion is young.[(triple3)] The lion likes the squirrel.[(triple4)] The lion needs the squirrel.[(triple5)] The squirrel eats the lion.[(triple6 OR ((triple7) -> rule1))] The squirrel is cold.[(triple7)] The squirrel is green.[(triple8)] The squirrel is red.[(triple9)] The squirrel is young.[(triple10)] @1: The lion is cold.[(((triple4 triple1) -> rule3))] @2: The lion eats the lion.[(((((triple4 triple1) -> rule3)) -> rule1))]
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple1
The lion is rough.
("lion" "is" "rough" "+")
triple2
The lion is young.
("lion" "is" "young" "+")
triple3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple4
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple5
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple6
((triple7) -> (rule1 % int1))
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
The squirrel is green.
("squirrel" "is" "green" "+")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The squirrel is young.
("squirrel" "is" "young" "+")
triple10
The lion is cold.
("lion" "is" "cold" "+")
((triple4 triple1) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
((((triple4 triple1) -> (rule3 % int2))) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
int2