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