The bear eats the cat. The bear needs the cat. The bear visits the cat. The cat eats the bear. The cat is big. The cat is cold. The cat is green. The cat is round. The cat needs the bear. The cat visits the bear. If someone eats the bear then the bear needs the cat. If someone visits the cat then they eat the cat. If someone needs the bear then they need the cat. If the bear is round then the bear is big. If someone eats the cat then the cat needs the bear. If someone needs the cat then they visit the cat.
The cat is red.
@0: The bear eats the cat.[(triple1 OR ((triple3) -> rule2) OR ((((triple2) -> rule6)) -> rule2) OR ((((((triple4) -> rule1)) -> rule6)) -> rule2))] The bear needs the cat.[(triple2 OR ((triple4) -> rule1))] The bear visits the cat.[(triple3 OR ((triple2) -> rule6) OR ((((triple4) -> rule1)) -> rule6))] The cat eats the bear.[(triple4)] The cat is big.[(triple5)] The cat is cold.[(triple6)] The cat is green.[(triple7)] The cat is round.[(triple8)] The cat needs the bear.[(triple9 OR ((triple1) -> rule5) OR ((((triple3) -> rule2)) -> rule5) OR ((((((triple2) -> rule6)) -> rule2)) -> rule5) OR ((((((((triple4) -> rule1)) -> rule6)) -> rule2)) -> rule5))] The cat visits the bear.[(triple10)] @1: The cat needs the cat.[(((triple9) -> rule3) OR ((((triple1) -> rule5)) -> rule3) OR ((((((triple3) -> rule2)) -> rule5)) -> rule3) OR ((((((((triple2) -> rule6)) -> rule2)) -> rule5)) -> rule3) OR ((((((((((triple4) -> rule1)) -> rule6)) -> rule2)) -> rule5)) -> rule3))] @2: The cat visits the cat.[(((((triple9) -> rule3)) -> rule6) OR ((((((triple1) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple3) -> rule2)) -> rule5)) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule6)) -> rule2)) -> rule5)) -> rule3)) -> rule6) OR ((((((((((((triple4) -> rule1)) -> rule6)) -> rule2)) -> rule5)) -> rule3)) -> rule6))] @3: The cat eats the cat.[(((((((triple9) -> rule3)) -> rule6)) -> rule2) OR ((((((((triple1) -> rule5)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((triple3) -> rule2)) -> rule5)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((((triple2) -> rule6)) -> rule2)) -> rule5)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((((((triple4) -> rule1)) -> rule6)) -> rule2)) -> rule5)) -> rule3)) -> rule6)) -> rule2))]