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