The bear is cold. The bear is kind. The bear is red. The bear is young. The bear likes the cat. The bear needs the cat. The bear sees the cat. The cat is cold. The cat is kind. The cat is red. The cat is 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 and it likes the bear then the cat is kind. If something needs the bear and the bear does not like the cat then it likes the bear. If something needs the bear and the bear sees the cat then it is young. If the bear likes the cat and the bear does not need the cat then the bear is not red. If something needs the cat then it is not round. If the bear does not see the cat then the bear is not young.
The bear does not like the bear.
@0: The bear is cold.[(triple1)] The bear is kind.[(triple2)] The bear is red.[(triple3)] The bear is young.[(triple4)] The bear likes the cat.[(triple5)] The bear needs the cat.[(triple6)] The bear sees the cat.[(triple7)] The cat is cold.[(triple8)] The cat is kind.[(triple9)] The cat is red.[(triple10)] The cat is round.[(triple11)] The cat is young.[(triple12 OR ((triple14 triple7) -> rule3))] The cat likes the bear.[(triple13)] The cat needs the bear.[(triple14)] The cat sees the bear.[(triple15)] @1: The bear is not round.[(((triple6) -> rule5))]