The cat chases the cow. The cat is young. The cat visits the cow. The cow is cold. The cow is kind. The cow is red. The cow needs the cat. The cow needs the lion. The cow visits the lion. The lion chases the cat. The lion chases the cow. The lion visits the cow. If something visits the cat and it chases the cow then it visits the lion. If something needs the lion then the lion needs the cat. If something is kind and cold then it visits the cat. If something is kind and it needs the cat then it chases the lion. If something visits the lion then the lion is red. If something is red and it chases the cow then it needs the cow. If something is rough then it needs the lion. If something is rough then it needs the cow.
The cat is young.
@0: The cat chases the cow.[(triple1)] The cat is young.[(triple2)] The cat visits the cow.[(triple3)] The cow is cold.[(triple4)] The cow is kind.[(triple5)] The cow is red.[(triple6)] The cow needs the cat.[(triple7)] The cow needs the lion.[(triple8)] The cow visits the lion.[(triple9)] The lion chases the cat.[(triple10)] The lion chases the cow.[(triple11)] The lion visits the cow.[(triple12)] @1: The cow chases the lion.[(((triple5 triple7) -> rule4))] The cow visits the cat.[(((triple5 triple4) -> rule3))] The lion is red.[(((triple9) -> rule5))] The lion needs the cat.[(((triple8) -> rule2))] @2: The lion needs the cow.[(((((triple9) -> rule5) triple11) -> rule6))]