The bear is big. The bear is blue. The bear is not cold. The bear is kind. The bear is rough. The bear likes the cat. The bear needs the cat. The bear sees the cat. The cat is not big. The cat is blue. The cat is not cold. The cat is kind. The cat is rough. The cat likes the bear. The cat needs the bear. The cat sees the bear. If someone needs the bear then they need the cat.
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is not cold.
("bear" "is" "cold" "-")
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat is not big.
("cat" "is" "big" "-")
The cat is blue.
("cat" "is" "blue" "+")
The cat is not cold.
("cat" "is" "cold" "-")
The cat is kind.
("cat" "is" "kind" "+")
The cat is rough.
("cat" "is" "rough" "+")
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 someone needs the bear then they need the cat.
((("someone" "needs" "bear" "+")) -> ("someone" "needs" "cat" "+"))
The bear is big.
True
1
proof
[(triple1)]
("bear" "is" "big" "+")
triple1
The cat is not rough.
False
1
inv-proof
[(triple13)]
("cat" "is" "rough" "-")
triple13
The cat needs the cat.
True
2
proof
[(((triple15) -> rule1))]
("cat" "needs" "cat" "+")
((triple15) -> (rule1 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat does not need the cat.
False
2
inv-proof
[(((triple15) -> rule1))]
("cat" "needs" "cat" "-")
((triple15) -> (rule1 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
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 bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is kind.[(triple4)] The bear is not cold.[(triple3)] The bear is rough.[(triple5)] The bear likes the cat.[(triple6)] The bear needs the cat.[(triple7)] The bear sees the cat.[(triple8)] The cat is blue.[(triple10)] The cat is kind.[(triple12)] The cat is not big.[(triple9)] The cat is not cold.[(triple11)] The cat is rough.[(triple13)] The cat likes the bear.[(triple14)] The cat needs the bear.[(triple15)] The cat sees the bear.[(triple16)] @1: The cat needs the cat.[(((triple15) -> rule1))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is not cold.
("bear" "is" "cold" "-")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear likes the cat.
("bear" "likes" "cat" "+")
triple6
The bear needs the cat.
("bear" "needs" "cat" "+")
triple7
The bear sees the cat.
("bear" "sees" "cat" "+")
triple8
The cat is blue.
("cat" "is" "blue" "+")
triple10
The cat is kind.
("cat" "is" "kind" "+")
triple12
The cat is not big.
("cat" "is" "big" "-")
triple9
The cat is not cold.
("cat" "is" "cold" "-")
triple11
The cat is rough.
("cat" "is" "rough" "+")
triple13
The cat likes the bear.
("cat" "likes" "bear" "+")
triple14
The cat needs the bear.
("cat" "needs" "bear" "+")
triple15
The cat sees the bear.
("cat" "sees" "bear" "+")
triple16
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple15) -> (rule1 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1