The lion chases the squirrel. The lion is blue. The lion is kind. The lion is young. The lion likes the squirrel. The lion visits the squirrel. The squirrel chases the lion. The squirrel is kind. The squirrel is red. The squirrel likes the lion. If the lion is blue and the lion chases the squirrel then the squirrel is young.
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
If the lion is blue and the lion chases the squirrel then the squirrel is young.
((("lion" "is" "blue" "+") ("lion" "chases" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
The squirrel is kind.
True
1
proof
[(triple8)]
("squirrel" "is" "kind" "+")
triple8
The lion does not visit the squirrel.
False
1
inv-proof
[(triple6)]
("lion" "visits" "squirrel" "-")
triple6
The squirrel is young.
True
3
proof
[(((triple2 triple1) -> rule1))]
("squirrel" "is" "young" "+")
((triple2 triple1) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is not young.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("squirrel" "is" "young" "-")
((triple2 triple1) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
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 squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
The lion is not red.
Unknown
inv-random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
@0: The lion chases the squirrel.[(triple1)] The lion is blue.[(triple2)] The lion is kind.[(triple3)] The lion is young.[(triple4)] The lion likes the squirrel.[(triple5)] The lion visits the squirrel.[(triple6)] The squirrel chases the lion.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is red.[(triple9)] The squirrel likes the lion.[(triple10)] @1: The squirrel is young.[(((triple2 triple1) -> rule1))]
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple1
The lion is blue.
("lion" "is" "blue" "+")
triple2
The lion is kind.
("lion" "is" "kind" "+")
triple3
The lion is young.
("lion" "is" "young" "+")
triple4
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple5
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple6
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple7
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple10
The squirrel is young.
("squirrel" "is" "young" "+")
((triple2 triple1) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1