The cat chases the lion. The cat chases the tiger. The cat needs the cow. The cow chases the lion. The cow is big. The cow is young. The lion chases the cat. The lion chases the cow. The lion chases the tiger. The lion eats the tiger. The lion needs the cow. The tiger eats the lion. The tiger is big. The tiger is blue. The tiger needs the cat. The tiger needs the cow. If someone eats the lion then they need the cow. If someone is big then they eat the cat. If someone is big and they eat the cat then they eat the lion. If someone needs the cow and they are young then the cow chases the cat. If someone eats the lion and they need the cat then the lion needs the cow. If someone chases the cat then they chase the cow.
The lion is blue.
@0: The cat chases the lion.[(triple1)] The cat chases the tiger.[(triple2)] The cat needs the cow.[(triple3)] The cow chases the lion.[(triple4)] The cow is big.[(triple5)] The cow is young.[(triple6)] The lion chases the cat.[(triple7)] The lion chases the cow.[(triple8 OR ((triple7) -> rule6))] The lion chases the tiger.[(triple9)] The lion eats the tiger.[(triple10)] The lion needs the cow.[(triple11 OR ((triple12 triple15) -> rule5) OR ((((triple13 ((triple13) -> rule2)) -> rule3) triple15) -> rule5))] The tiger eats the lion.[(triple12 OR ((triple13 ((triple13) -> rule2)) -> rule3))] The tiger is big.[(triple13)] The tiger is blue.[(triple14)] The tiger needs the cat.[(triple15)] The tiger needs the cow.[(triple16 OR ((triple12) -> rule1) OR ((((triple13 ((triple13) -> rule2)) -> rule3)) -> rule1))] @1: The cow eats the cat.[(((triple5) -> rule2))] The tiger eats the cat.[(((triple13) -> rule2))] @2: The cow eats the lion.[(((triple5 ((triple5) -> rule2)) -> rule3))] @3: The cow needs the cow.[(((((triple5 ((triple5) -> rule2)) -> rule3)) -> rule1))] @4: The cow chases the cat.[(((((((triple5 ((triple5) -> rule2)) -> rule3)) -> rule1) triple6) -> rule4))] @5: The cow chases the cow.[(((((((((triple5 ((triple5) -> rule2)) -> rule3)) -> rule1) triple6) -> rule4)) -> rule6))]