The cow is not big. The dog does not chase the cow. The dog is big. The dog is blue. The squirrel does not chase the cow. The squirrel does not need the dog. The squirrel sees the cow. If someone is nice then they do not need the cow. If someone is big then they do not need the squirrel.
The cow is not big.
("cow" "is" "big" "-")
The dog does not chase the cow.
("dog" "chases" "cow" "-")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
If someone is nice then they do not need the cow.
((("someone" "is" "nice" "+")) -> ("someone" "needs" "cow" "-"))
If someone is big then they do not need the squirrel.
((("someone" "is" "big" "+")) -> ("someone" "needs" "squirrel" "-"))
The dog is big.
True
1
proof
[(triple3)]
("dog" "is" "big" "+")
triple3
The cow is big.
False
1
inv-proof
[(triple1)]
("cow" "is" "big" "+")
triple1
The dog does not need the squirrel.
True
2
proof
[(((triple3) -> rule2))]
("dog" "needs" "squirrel" "-")
((triple3) -> (rule2 % int1))
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
int1
The dog needs the squirrel.
False
2
inv-proof
[(((triple3) -> rule2))]
("dog" "needs" "squirrel" "+")
((triple3) -> (rule2 % int1))
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
int1
The cow does not need the squirrel.
Unknown
inv-random
[@0: The cow needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "squirrel" "-")
The squirrel is big.
Unknown
random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "+")
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The cow is not big.[(triple1)] The dog does not chase the cow.[(triple2)] The dog is big.[(triple3)] The dog is blue.[(triple4)] The squirrel does not chase the cow.[(triple5)] The squirrel does not need the dog.[(triple6)] The squirrel sees the cow.[(triple7)] @1: The dog does not need the squirrel.[(((triple3) -> rule2))]
The cow is not big.
("cow" "is" "big" "-")
triple1
The dog does not chase the cow.
("dog" "chases" "cow" "-")
triple2
The dog is big.
("dog" "is" "big" "+")
triple3
The dog is blue.
("dog" "is" "blue" "+")
triple4
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
triple5
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
triple6
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple7
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
((triple3) -> (rule2 % int1))
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
int1