The bear is green. The bear is red. The bear is round. The bear is young. The bear likes the dog. The bear sees the dog. The bear visits the dog. The dog is green. The dog is red. The dog is rough. The dog is round. The dog is young. The dog likes the bear. The dog sees the bear. The dog visits the bear. If something likes the dog then it likes the bear.
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
If something likes the dog then it likes the bear.
((("something" "likes" "dog" "+")) -> ("something" "likes" "bear" "+"))
The dog is round.
True
1
proof
[(triple11)]
("dog" "is" "round" "+")
triple11
The dog does not visit the bear.
False
1
inv-proof
[(triple15)]
("dog" "visits" "bear" "-")
triple15
The bear likes the bear.
True
2
proof
[(((triple5) -> rule1))]
("bear" "likes" "bear" "+")
((triple5) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear does not like the bear.
False
2
inv-proof
[(((triple5) -> rule1))]
("bear" "likes" "bear" "-")
((triple5) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The bear is green.[(triple1)] The bear is red.[(triple2)] The bear is round.[(triple3)] The bear is young.[(triple4)] The bear likes the dog.[(triple5)] The bear sees the dog.[(triple6)] The bear visits the dog.[(triple7)] The dog is green.[(triple8)] The dog is red.[(triple9)] The dog is rough.[(triple10)] The dog is round.[(triple11)] The dog is young.[(triple12)] The dog likes the bear.[(triple13)] The dog sees the bear.[(triple14)] The dog visits the bear.[(triple15)] @1: The bear likes the bear.[(((triple5) -> rule1))]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The bear likes the dog.
("bear" "likes" "dog" "+")
triple5
The bear sees the dog.
("bear" "sees" "dog" "+")
triple6
The bear visits the dog.
("bear" "visits" "dog" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The dog is red.
("dog" "is" "red" "+")
triple9
The dog is rough.
("dog" "is" "rough" "+")
triple10
The dog is round.
("dog" "is" "round" "+")
triple11
The dog is young.
("dog" "is" "young" "+")
triple12
The dog likes the bear.
("dog" "likes" "bear" "+")
triple13
The dog sees the bear.
("dog" "sees" "bear" "+")
triple14
The dog visits the bear.
("dog" "visits" "bear" "+")
triple15
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple5) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1