The bear needs the cat. The bear needs the rabbit. The bear sees the cat. The cat is cold. The cat is nice. The cat needs the bear. The cat sees the rabbit. The rabbit eats the cat. The rabbit is cold. The rabbit is kind. The rabbit is nice. The rabbit sees the bear. If something is nice then it needs the cat. If something needs the cat and it eats the rabbit then the cat is cold. If something sees the cat then the cat eats the bear. If the bear sees the rabbit then the rabbit eats the bear. If something sees the cat then the cat is rough. If the cat eats the rabbit and the cat needs the bear then the rabbit is nice.
The rabbit eats the cat.
@0: The bear needs the cat.[(triple1)] The bear needs the rabbit.[(triple2)] The bear sees the cat.[(triple3)] The cat is cold.[(triple4)] The cat is nice.[(triple5)] The cat needs the bear.[(triple6)] The cat sees the rabbit.[(triple7)] The rabbit eats the cat.[(triple8)] The rabbit is cold.[(triple9)] The rabbit is kind.[(triple10)] The rabbit is nice.[(triple11)] The rabbit sees the bear.[(triple12)] @1: The cat eats the bear.[(((triple3) -> rule3))] The cat is rough.[(((triple3) -> rule5))] The cat needs the cat.[(((triple5) -> rule1))] The rabbit needs the cat.[(((triple11) -> rule1))]