The bear is big. The cat eats the bear. The cat is big. The cat sees the bear. The dog is rough. The dog needs the cat. The lion eats the cat. The lion is nice. The lion sees the cat. The lion sees the dog. If someone eats the dog then they need the lion. If someone is young then they need the cat. If someone sees the cat then they need the cat. If someone needs the cat then the cat eats the dog. If someone needs the lion then they do not see the lion. If the lion is young and the lion does not see the bear then the bear sees the cat. If someone eats the bear and they eat the dog then the dog needs the cat. If someone needs the lion then the lion eats the dog.
The cat needs the cat.
@0: The bear is big.[(triple1)] The cat eats the bear.[(triple2)] The cat is big.[(triple3)] The cat sees the bear.[(triple4)] The dog is rough.[(triple5)] The dog needs the cat.[(triple6 OR ((triple2 ((((triple9) -> rule3)) -> rule4)) -> rule7))] The lion eats the cat.[(triple7)] The lion is nice.[(triple8)] The lion sees the cat.[(triple9)] The lion sees the dog.[(triple10)] @1: The cat eats the dog.[(((triple6) -> rule4) OR ((((triple9) -> rule3)) -> rule4))] The lion needs the cat.[(((triple9) -> rule3))] @2: The cat needs the lion.[(((((triple6) -> rule4)) -> rule1) OR ((((((triple9) -> rule3)) -> rule4)) -> rule1))] @3: The cat does not see the lion.[(((((((triple6) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple9) -> rule3)) -> rule4)) -> rule1)) -> rule5))] The lion eats the dog.[(((((((triple6) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple9) -> rule3)) -> rule4)) -> rule1)) -> rule8))] @4: The lion needs the lion.[(((((((((triple6) -> rule4)) -> rule1)) -> rule8)) -> rule1) OR ((((((((((triple9) -> rule3)) -> rule4)) -> rule1)) -> rule8)) -> rule1))] @5: The lion does not see the lion.[(((((((((((triple6) -> rule4)) -> rule1)) -> rule8)) -> rule1)) -> rule5) OR ((((((((((((triple9) -> rule3)) -> rule4)) -> rule1)) -> rule8)) -> rule1)) -> rule5))]