The cow eats the lion. The cow eats the squirrel. The cow is blue. The cow needs the lion. The lion is kind. The squirrel eats the cow. The squirrel is round. If the cow eats the squirrel then the squirrel is green.
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion is kind.
("lion" "is" "kind" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If the cow eats the squirrel then the squirrel is green.
((("cow" "eats" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
The cow eats the squirrel.
True
1
proof
[(triple2)]
("cow" "eats" "squirrel" "+")
triple2
The cow is not blue.
False
1
inv-proof
[(triple3)]
("cow" "is" "blue" "-")
triple3
The squirrel is green.
True
2
proof
[(((triple2) -> rule1))]
("squirrel" "is" "green" "+")
((triple2) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is not green.
False
2
inv-proof
[(((triple2) -> rule1))]
("squirrel" "is" "green" "-")
((triple2) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
The squirrel does not chase the lion.
Unknown
inv-random
[@0: The squirrel chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "lion" "-")
The lion chases the cow.
Unknown
random
[@0: The lion chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "cow" "+")
@0: The cow eats the lion.[(triple1)] The cow eats the squirrel.[(triple2)] The cow is blue.[(triple3)] The cow needs the lion.[(triple4)] The lion is kind.[(triple5)] The squirrel eats the cow.[(triple6)] The squirrel is round.[(triple7)] @1: The squirrel is green.[(((triple2) -> rule1))]
The cow eats the lion.
("cow" "eats" "lion" "+")
triple1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow needs the lion.
("cow" "needs" "lion" "+")
triple4
The lion is kind.
("lion" "is" "kind" "+")
triple5
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple6
The squirrel is round.
("squirrel" "is" "round" "+")
triple7
The squirrel is green.
("squirrel" "is" "green" "+")
((triple2) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1