The cat is red. The cow chases the squirrel. The cow is not rough. The cow needs the lion. The cow does not see the cat. The lion sees the cat. The squirrel is young. If someone chases the squirrel and they are not rough then they are not red. If someone needs the lion and they are not red then the lion does not need the cow.
The cat is red.
("cat" "is" "red" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The cow needs the lion.
("cow" "needs" "lion" "+")
The cow does not see the cat.
("cow" "sees" "cat" "-")
The lion sees the cat.
("lion" "sees" "cat" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If someone chases the squirrel and they are not rough then they are not red.
((("someone" "chases" "squirrel" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "red" "-"))
If someone needs the lion and they are not red then the lion does not need the cow.
((("someone" "needs" "lion" "+") ("someone" "is" "red" "~")) -> ("lion" "needs" "cow" "-"))
The lion sees the cat.
True
1
proof
[(triple6)]
("lion" "sees" "cat" "+")
triple6
The squirrel is not young.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "young" "-")
triple7
The cow is not red.
True
3
proof
[(((triple2 triple3) -> rule1))]
("cow" "is" "red" "-")
((triple2 triple3) -> (rule1 % int1))
The cow is not red.
("cow" "is" "red" "-")
int1
The cow is red.
False
3
inv-proof
[(((triple2 triple3) -> rule1))]
("cow" "is" "red" "+")
((triple2 triple3) -> (rule1 % int1))
The cow is not red.
("cow" "is" "red" "-")
int1
The lion does not need the cow.
True
5
proof
[(((triple4 ((triple2 triple3) -> rule1)) -> rule2))]
("lion" "needs" "cow" "-")
((triple4 ((triple2 triple3) -> (rule1 % int2))) -> (rule2 % int1))
The lion does not need the cow.
("lion" "needs" "cow" "-")
int1
The cow is not red.
("cow" "is" "red" "-")
int2
The lion needs the cow.
False
5
inv-proof
[(((triple4 ((triple2 triple3) -> rule1)) -> rule2))]
("lion" "needs" "cow" "+")
((triple4 ((triple2 triple3) -> (rule1 % int2))) -> (rule2 % int1))
The lion does not need the cow.
("lion" "needs" "cow" "-")
int1
The cow is not red.
("cow" "is" "red" "-")
int2
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 cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
The cow does not need the cat.
Unknown
inv-random
[@0: The cow needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cat" "-")
The cat chases the cow.
Unknown
random
[@0: The cat chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cow" "+")
The lion does not see the cow.
Unknown
inv-random
[@0: The lion sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "cow" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
@0: The cat is red.[(triple1)] The cow chases the squirrel.[(triple2)] The cow does not see the cat.[(triple5)] The cow is not rough.[(triple3)] The cow needs the lion.[(triple4)] The lion sees the cat.[(triple6)] The squirrel is young.[(triple7)] @1: The cow is not red.[(((triple2 triple3) -> rule1))] @2: The lion does not need the cow.[(((triple4 ((triple2 triple3) -> rule1)) -> rule2))]
The cat is red.
("cat" "is" "red" "+")
triple1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple2
The cow does not see the cat.
("cow" "sees" "cat" "-")
triple5
The cow is not rough.
("cow" "is" "rough" "-")
triple3
The cow needs the lion.
("cow" "needs" "lion" "+")
triple4
The lion sees the cat.
("lion" "sees" "cat" "+")
triple6
The squirrel is young.
("squirrel" "is" "young" "+")
triple7
The cow is not red.
("cow" "is" "red" "-")
((triple2 triple3) -> (rule1 % int1))
The cow is not red.
("cow" "is" "red" "-")
int1
The lion does not need the cow.
("lion" "needs" "cow" "-")
((triple4 ((triple2 triple3) -> (rule1 % int2))) -> (rule2 % int1))
The lion does not need the cow.
("lion" "needs" "cow" "-")
int1
The cow is not red.
("cow" "is" "red" "-")
int2