The lion is cold. The squirrel likes the lion. The tiger is not rough. If something likes the lion then the lion is green. If the squirrel likes the lion then the squirrel chases the tiger.
The lion is cold.
("lion" "is" "cold" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The tiger is not rough.
("tiger" "is" "rough" "-")
If something likes the lion then the lion is green.
((("something" "likes" "lion" "+")) -> ("lion" "is" "green" "+"))
If the squirrel likes the lion then the squirrel chases the tiger.
((("squirrel" "likes" "lion" "+")) -> ("squirrel" "chases" "tiger" "+"))
The lion is cold.
True
1
proof
[(triple1)]
("lion" "is" "cold" "+")
triple1
The squirrel does not like the lion.
False
1
inv-proof
[(triple2)]
("squirrel" "likes" "lion" "-")
triple2
The lion is green.
True
2
proof
[(((triple2) -> rule1))]
("lion" "is" "green" "+")
((triple2) -> (rule1 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is not green.
False
2
inv-proof
[(((triple2) -> rule1))]
("lion" "is" "green" "-")
((triple2) -> (rule1 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The tiger chases the squirrel.
Unknown
random
[@0: The tiger chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "squirrel" "+")
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
@0: The lion is cold.[(triple1)] The squirrel likes the lion.[(triple2)] The tiger is not rough.[(triple3)] @1: The lion is green.[(((triple2) -> rule1))] The squirrel chases the tiger.[(((triple2) -> rule2))]
The lion is cold.
("lion" "is" "cold" "+")
triple1
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple2
The tiger is not rough.
("tiger" "is" "rough" "-")
triple3
The lion is green.
("lion" "is" "green" "+")
((triple2) -> (rule1 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
((triple2) -> (rule2 % int1))
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
int1