The bear eats the dog. The bear is cold. The bear is green. The bear likes the cat. The bear likes the dog. The bear needs the cat. The bear needs the dog. The cat eats the dog. The cat is green. The cat is rough. The cat is round. The cat likes the bear. The cat likes the dog. The dog likes the cat. The dog needs the bear. If something eats the dog and the dog likes the bear then the dog needs the cat. If something needs the cat and it is rough then it eats the dog. If something needs the bear then it likes the bear. If something likes the bear then it eats the cat. If something needs the dog and the dog likes the bear then the bear is green. If something likes the bear and the bear is rough then it needs the cat. If something eats the cat and the cat likes the dog then it likes the bear. If something likes the cat and it is cold then it needs the dog.
The cat is cold.
@0: The bear eats the dog.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3 OR ((triple7 ((triple15) -> rule3)) -> rule5) OR ((((triple4 triple2) -> rule8) ((triple15) -> rule3)) -> rule5))] The bear likes the cat.[(triple4)] The bear likes the dog.[(triple5)] The bear needs the cat.[(triple6)] The bear needs the dog.[(triple7 OR ((triple4 triple2) -> rule8))] The cat eats the dog.[(triple8)] The cat is green.[(triple9)] The cat is rough.[(triple10)] The cat is round.[(triple11)] The cat likes the bear.[(triple12)] The cat likes the dog.[(triple13)] The dog likes the cat.[(triple14)] The dog needs the bear.[(triple15)] @1: The cat eats the cat.[(((triple12) -> rule4))] The dog likes the bear.[(((triple15) -> rule3))] @2: The dog eats the cat.[(((((triple15) -> rule3)) -> rule4))] The dog needs the cat.[(((triple1 ((triple15) -> rule3)) -> rule1) OR ((triple8 ((triple15) -> rule3)) -> rule1))]