The bear is nice. The bear is round. The bear likes the dog. The bear does not like the squirrel. The bear needs the dog. The bear does not see the dog. The dog is big. The dog is rough. The dog is round. The dog likes the bear. The dog likes the squirrel. The dog needs the squirrel. The dog sees the bear. The dog sees the squirrel. The squirrel likes the bear. The squirrel does not see the dog. If something is blue and not round then it sees the dog. If something is blue and round then it sees the dog. If something needs the bear then it is not blue. If something needs the dog and it is nice then the dog needs the bear. If the bear is not rough and the bear does not like the dog then the dog is blue. If the dog likes the bear and the dog does not see the squirrel then the squirrel does not see the bear.
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear does not see the dog.
("bear" "sees" "dog" "-")
The dog is big.
("dog" "is" "big" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel does not see the dog.
("squirrel" "sees" "dog" "-")
If something is blue and not round then it sees the dog.
((("something" "is" "blue" "+") ("something" "is" "round" "~")) -> ("something" "sees" "dog" "+"))
If something is blue and round then it sees the dog.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "sees" "dog" "+"))
If something needs the bear then it is not blue.
((("something" "needs" "bear" "+")) -> ("something" "is" "blue" "-"))
If something needs the dog and it is nice then the dog needs the bear.
((("something" "needs" "dog" "+") ("something" "is" "nice" "+")) -> ("dog" "needs" "bear" "+"))
If the bear is not rough and the bear does not like the dog then the dog is blue.
((("bear" "is" "rough" "~") ("bear" "likes" "dog" "~")) -> ("dog" "is" "blue" "+"))
If the dog likes the bear and the dog does not see the squirrel then the squirrel does not see the bear.
((("dog" "likes" "bear" "+") ("dog" "sees" "squirrel" "~")) -> ("squirrel" "sees" "bear" "-"))
The dog sees the squirrel.
True
1
proof
[(triple14)]
("dog" "sees" "squirrel" "+")
triple14
The dog does not like the squirrel.
False
1
inv-proof
[(triple11)]
("dog" "likes" "squirrel" "-")
triple11
The dog needs the bear.
True
3
proof
[(((triple5 triple1) -> rule4))]
("dog" "needs" "bear" "+")
((triple5 triple1) -> (rule4 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog does not need the bear.
False
3
inv-proof
[(((triple5 triple1) -> rule4))]
("dog" "needs" "bear" "-")
((triple5 triple1) -> (rule4 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog is not blue.
True
4
proof
[(((((triple5 triple1) -> rule4)) -> rule3))]
("dog" "is" "blue" "-")
((((triple5 triple1) -> (rule4 % int2))) -> (rule3 % int1))
The dog is not blue.
("dog" "is" "blue" "-")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
int2
The dog is blue.
False
4
inv-proof
[(((((triple5 triple1) -> rule4)) -> rule3))]
("dog" "is" "blue" "+")
((((triple5 triple1) -> (rule4 % int2))) -> (rule3 % int1))
The dog is not blue.
("dog" "is" "blue" "-")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
int2
The dog does not see the dog.
Unknown
inv-rconc
[@1: The dog sees the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "sees" "dog" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
The bear does not see the squirrel.
Unknown
inv-random
[@0: The bear sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "squirrel" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
The squirrel does not need the bear.
Unknown
inv-random
[@0: The squirrel needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bear" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The bear does not like the squirrel.[(triple4)] The bear does not see the dog.[(triple6)] The bear is nice.[(triple1)] The bear is round.[(triple2)] The bear likes the dog.[(triple3)] The bear needs the dog.[(triple5)] The dog is big.[(triple7)] The dog is rough.[(triple8)] The dog is round.[(triple9)] The dog likes the bear.[(triple10)] The dog likes the squirrel.[(triple11)] The dog needs the squirrel.[(triple12)] The dog sees the bear.[(triple13)] The dog sees the squirrel.[(triple14)] The squirrel does not see the dog.[(triple16)] The squirrel likes the bear.[(triple15)] @1: The dog needs the bear.[(((triple5 triple1) -> rule4))] @2: The dog is not blue.[(((((triple5 triple1) -> rule4)) -> rule3))]
The bear does not like the squirrel.
("bear" "likes" "squirrel" "-")
triple4
The bear does not see the dog.
("bear" "sees" "dog" "-")
triple6
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
The bear needs the dog.
("bear" "needs" "dog" "+")
triple5
The dog is big.
("dog" "is" "big" "+")
triple7
The dog is rough.
("dog" "is" "rough" "+")
triple8
The dog is round.
("dog" "is" "round" "+")
triple9
The dog likes the bear.
("dog" "likes" "bear" "+")
triple10
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple11
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple12
The dog sees the bear.
("dog" "sees" "bear" "+")
triple13
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple14
The squirrel does not see the dog.
("squirrel" "sees" "dog" "-")
triple16
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple15
The dog needs the bear.
("dog" "needs" "bear" "+")
((triple5 triple1) -> (rule4 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog is not blue.
("dog" "is" "blue" "-")
((((triple5 triple1) -> (rule4 % int2))) -> (rule3 % int1))
The dog is not blue.
("dog" "is" "blue" "-")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
int2