The bear eats the dog. The bear is cold. The bear is kind. The bear is not red. The bear is rough. The bear is young. The bear likes the dog. The bear does not need the dog. The dog is kind. The dog needs the bear. If something eats the bear then the bear is not red. If the bear does not need the dog then the dog eats the bear. If something needs the bear and the bear eats the dog then the dog eats the bear. If the bear is young then the bear likes the dog. If something eats the bear then it likes the bear. If something likes the bear then it likes the dog. If something likes the bear then it eats the bear. If something is rough then it needs the bear.
The dog is red.
@0: The bear does not need the dog.[(triple8)] The bear eats the dog.[(triple1)] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear is not red.[(triple4 OR ((((triple8) -> rule2)) -> rule1) OR ((((triple10 triple1) -> rule3)) -> rule1) OR ((((((triple5) -> rule8) triple1) -> rule3)) -> rule1))] The bear is rough.[(triple5)] The bear is young.[(triple6)] The bear likes the dog.[(triple7 OR ((triple6) -> rule4))] The dog is kind.[(triple9)] The dog needs the bear.[(triple10)] @1: The bear needs the bear.[(((triple5) -> rule8))] The dog eats the bear.[(((triple8) -> rule2) OR ((triple10 triple1) -> rule3) OR ((((triple5) -> rule8) triple1) -> rule3))] @2: The dog likes the bear.[(((((triple8) -> rule2)) -> rule5) OR ((((triple10 triple1) -> rule3)) -> rule5) OR ((((((triple5) -> rule8) triple1) -> rule3)) -> rule5))] @3: The dog likes the dog.[(((((((triple8) -> rule2)) -> rule5)) -> rule6) OR ((((((triple10 triple1) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple5) -> rule8) triple1) -> rule3)) -> rule5)) -> rule6))]