The bear eats the dog. The bear is big. The bear is green. The bear is red. The bear is rough. The bear needs the dog. The bear visits the dog. The dog eats the bear. The dog is big. The dog is green. The dog is nice. The dog is red. The dog is rough. The dog needs the bear. The dog visits the bear. If someone visits the dog then the dog visits the bear.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
If someone visits the dog then the dog visits the bear.
((("someone" "visits" "dog" "+")) -> ("dog" "visits" "bear" "+"))
The bear is big.
True
1
proof
[(triple2)]
("bear" "is" "big" "+")
triple2
The dog does not visit the bear.
False
1
inv-proof
[(triple15 OR ((triple7) -> rule1))]
("dog" "visits" "bear" "-")
triple15
((triple7) -> (rule1 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1
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 visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear eats the dog.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear needs the dog.[(triple6)] The bear visits the dog.[(triple7)] The dog eats the bear.[(triple8)] The dog is big.[(triple9)] The dog is green.[(triple10)] The dog is nice.[(triple11)] The dog is red.[(triple12)] The dog is rough.[(triple13)] The dog needs the bear.[(triple14)] The dog visits the bear.[(triple15 OR ((triple7) -> rule1))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear needs the dog.
("bear" "needs" "dog" "+")
triple6
The bear visits the dog.
("bear" "visits" "dog" "+")
triple7
The dog eats the bear.
("dog" "eats" "bear" "+")
triple8
The dog is big.
("dog" "is" "big" "+")
triple9
The dog is green.
("dog" "is" "green" "+")
triple10
The dog is nice.
("dog" "is" "nice" "+")
triple11
The dog is red.
("dog" "is" "red" "+")
triple12
The dog is rough.
("dog" "is" "rough" "+")
triple13
The dog needs the bear.
("dog" "needs" "bear" "+")
triple14
The dog visits the bear.
("dog" "visits" "bear" "+")
triple15
((triple7) -> (rule1 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1