The dog does not chase the squirrel. The dog is rough. The lion eats the squirrel. The lion likes the dog. The lion likes the squirrel. The squirrel chases the dog. The squirrel chases the lion. The squirrel eats the dog. The squirrel eats the lion. The squirrel is red. The squirrel is round. The squirrel likes the lion. If the squirrel is not round and the squirrel is not red then the squirrel likes the lion. If something likes the dog then the dog is not big.
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
The dog is rough.
("dog" "is" "rough" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
If the squirrel is not round and the squirrel is not red then the squirrel likes the lion.
((("squirrel" "is" "round" "~") ("squirrel" "is" "red" "~")) -> ("squirrel" "likes" "lion" "+"))
If something likes the dog then the dog is not big.
((("something" "likes" "dog" "+")) -> ("dog" "is" "big" "-"))
The lion likes the dog.
True
1
proof
[(triple4)]
("lion" "likes" "dog" "+")
triple4
The dog chases the squirrel.
False
1
inv-proof
[(triple1)]
("dog" "chases" "squirrel" "+")
triple1
The dog is not big.
True
2
proof
[(((triple4) -> rule2))]
("dog" "is" "big" "-")
((triple4) -> (rule2 % int1))
The dog is not big.
("dog" "is" "big" "-")
int1
The dog is big.
False
2
inv-proof
[(((triple4) -> rule2))]
("dog" "is" "big" "+")
((triple4) -> (rule2 % int1))
The dog is not big.
("dog" "is" "big" "-")
int1
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel is big.
Unknown
random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The squirrel likes the dog.
Unknown
random
[@0: The squirrel likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "dog" "+")
@0: The dog does not chase the squirrel.[(triple1)] The dog is rough.[(triple2)] The lion eats the squirrel.[(triple3)] The lion likes the dog.[(triple4)] The lion likes the squirrel.[(triple5)] The squirrel chases the dog.[(triple6)] The squirrel chases the lion.[(triple7)] The squirrel eats the dog.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel is red.[(triple10)] The squirrel is round.[(triple11)] The squirrel likes the lion.[(triple12)] @1: The dog is not big.[(((triple4) -> rule2))]
The dog does not chase the squirrel.
("dog" "chases" "squirrel" "-")
triple1
The dog is rough.
("dog" "is" "rough" "+")
triple2
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple3
The lion likes the dog.
("lion" "likes" "dog" "+")
triple4
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple5
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple6
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple7
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple8
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple9
The squirrel is red.
("squirrel" "is" "red" "+")
triple10
The squirrel is round.
("squirrel" "is" "round" "+")
triple11
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple12
The dog is not big.
("dog" "is" "big" "-")
((triple4) -> (rule2 % int1))
The dog is not big.
("dog" "is" "big" "-")
int1