The cow is red. The cow needs the lion. The lion chases the cow. The lion is cold. The lion is young. The lion needs the cow. The lion sees the cow. All kind people are blue. If someone sees the cow then the cow sees the lion. If someone chases the lion then they need the lion. If someone needs the cow then the cow sees the lion. If someone chases the cow and they see the cow then they need the lion. If the lion is red and the lion sees the cow then the lion is young.
The cow chases the cow.
@0: The cow is red.[(triple1)] The cow needs the lion.[(triple2)] The lion chases the cow.[(triple3)] The lion is cold.[(triple4)] The lion is young.[(triple5)] The lion needs the cow.[(triple6)] The lion sees the cow.[(triple7)] @1: The cow sees the lion.[(((triple6) -> rule4) OR ((triple7) -> rule2))] The lion needs the lion.[(((triple3 triple7) -> rule5))]