The bear eats the dog. The bear is big. The bear is green. The bear likes the dog. The bear visits the dog. The dog eats the bear. The dog is rough. The dog is round. The dog likes the bear. The dog visits the bear. If something visits the bear then it visits the dog. If something eats the bear and the bear eats the dog then the bear is big.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
If something visits the bear then it visits the dog.
((("something" "visits" "bear" "+")) -> ("something" "visits" "dog" "+"))
If something eats the bear and the bear eats the dog then the bear is big.
((("something" "eats" "bear" "+") ("bear" "eats" "dog" "+")) -> ("bear" "is" "big" "+"))
The bear is big.
True
1
proof
[(triple2 OR ((triple6 triple1) -> rule2))]
("bear" "is" "big" "+")
triple2
((triple6 triple1) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The dog is not rough.
False
1
inv-proof
[(triple7)]
("dog" "is" "rough" "-")
triple7
The dog visits the dog.
True
2
proof
[(((triple10) -> rule1))]
("dog" "visits" "dog" "+")
((triple10) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog does not visit the dog.
False
2
inv-proof
[(((triple10) -> rule1))]
("dog" "visits" "dog" "-")
((triple10) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
@0: The bear eats the dog.[(triple1)] The bear is big.[(triple2 OR ((triple6 triple1) -> rule2))] The bear is green.[(triple3)] The bear likes the dog.[(triple4)] The bear visits the dog.[(triple5)] The dog eats the bear.[(triple6)] The dog is rough.[(triple7)] The dog is round.[(triple8)] The dog likes the bear.[(triple9)] The dog visits the bear.[(triple10)] @1: The dog visits the dog.[(((triple10) -> rule1))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
((triple6 triple1) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is green.
("bear" "is" "green" "+")
triple3
The bear likes the dog.
("bear" "likes" "dog" "+")
triple4
The bear visits the dog.
("bear" "visits" "dog" "+")
triple5
The dog eats the bear.
("dog" "eats" "bear" "+")
triple6
The dog is rough.
("dog" "is" "rough" "+")
triple7
The dog is round.
("dog" "is" "round" "+")
triple8
The dog likes the bear.
("dog" "likes" "bear" "+")
triple9
The dog visits the bear.
("dog" "visits" "bear" "+")
triple10
The dog visits the dog.
("dog" "visits" "dog" "+")
((triple10) -> (rule1 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1