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