The bear eats the cat. The bear is red. The bear is rough. The bear needs the cat. The cat eats the bear. The cat is cold. The cat is red. The cat is rough. The cat needs the bear. The cat visits the bear. If something visits the bear then it eats the cat. If the cat is round then the cat needs the bear. If something eats the bear then it is round. If something eats the bear then the bear visits the cat. All round, red things are green. If something is red then it eats the bear.
The bear is not cold.
@0: The bear eats the cat.[(triple1)] The bear is red.[(triple2)] The bear is rough.[(triple3)] The bear needs the cat.[(triple4)] The cat eats the bear.[(triple5 OR ((triple7) -> rule6))] The cat is cold.[(triple6)] The cat is red.[(triple7)] The cat is rough.[(triple8)] The cat needs the bear.[(triple9 OR ((((triple5) -> rule3)) -> rule2) OR ((((((triple7) -> rule6)) -> rule3)) -> rule2))] The cat visits the bear.[(triple10)] @1: The bear eats the bear.[(((triple2) -> rule6))] The bear visits the cat.[(((triple5) -> rule4) OR ((((triple2) -> rule6)) -> rule4) OR ((((triple7) -> rule6)) -> rule4))] The cat eats the cat.[(((triple10) -> rule1))] The cat is round.[(((triple5) -> rule3) OR ((((triple7) -> rule6)) -> rule3))] @2: The bear is round.[(((((triple2) -> rule6)) -> rule3))] The cat is green.[(((((triple5) -> rule3) triple7) -> rule5) OR ((((((triple7) -> rule6)) -> rule3) triple7) -> rule5))] @3: The bear is green.[(((((((triple2) -> rule6)) -> rule3) triple2) -> rule5))]