The bear eats the dog. The bear is big. The bear is blue. The bear is not cold. The bear is green. The bear is not red. The bear needs the dog. The bear sees the dog. The dog does not eat the bear. The dog is not big. The dog is blue. The dog is cold. The dog is not green. The dog is red. The dog needs the bear. The dog sees the bear. If the bear is red and the dog does not see the bear then the bear is not big. If something needs the bear then it eats the dog.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is not cold.
("bear" "is" "cold" "-")
The bear is green.
("bear" "is" "green" "+")
The bear is not red.
("bear" "is" "red" "-")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog does not eat the bear.
("dog" "eats" "bear" "-")
The dog is not big.
("dog" "is" "big" "-")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is not green.
("dog" "is" "green" "-")
The dog is red.
("dog" "is" "red" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
If the bear is red and the dog does not see the bear then the bear is not big.
((("bear" "is" "red" "+") ("dog" "sees" "bear" "~")) -> ("bear" "is" "big" "-"))
If something needs the bear then it eats the dog.
((("something" "needs" "bear" "+")) -> ("something" "eats" "dog" "+"))
The bear needs the dog.
True
1
proof
[(triple7)]
("bear" "needs" "dog" "+")
triple7
The bear does not eat the dog.
False
1
inv-proof
[(triple1)]
("bear" "eats" "dog" "-")
triple1
The dog eats the dog.
True
2
proof
[(((triple15) -> rule2))]
("dog" "eats" "dog" "+")
((triple15) -> (rule2 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog does not eat the dog.
False
2
inv-proof
[(((triple15) -> rule2))]
("dog" "eats" "dog" "-")
((triple15) -> (rule2 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
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 bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear eats the dog.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is green.[(triple5)] The bear is not cold.[(triple4)] The bear is not red.[(triple6)] The bear needs the dog.[(triple7)] The bear sees the dog.[(triple8)] The dog does not eat the bear.[(triple9)] The dog is blue.[(triple11)] The dog is cold.[(triple12)] The dog is not big.[(triple10)] The dog is not green.[(triple13)] The dog is red.[(triple14)] The dog needs the bear.[(triple15)] The dog sees the bear.[(triple16)] @1: The dog eats the dog.[(((triple15) -> rule2))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
triple5
The bear is not cold.
("bear" "is" "cold" "-")
triple4
The bear is not red.
("bear" "is" "red" "-")
triple6
The bear needs the dog.
("bear" "needs" "dog" "+")
triple7
The bear sees the dog.
("bear" "sees" "dog" "+")
triple8
The dog does not eat the bear.
("dog" "eats" "bear" "-")
triple9
The dog is blue.
("dog" "is" "blue" "+")
triple11
The dog is cold.
("dog" "is" "cold" "+")
triple12
The dog is not big.
("dog" "is" "big" "-")
triple10
The dog is not green.
("dog" "is" "green" "-")
triple13
The dog is red.
("dog" "is" "red" "+")
triple14
The dog needs the bear.
("dog" "needs" "bear" "+")
triple15
The dog sees the bear.
("dog" "sees" "bear" "+")
triple16
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple15) -> (rule2 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1