The cow chases the lion. The cow is cold. The cow is nice. The cow is red. The cow is rough. The cow is young. The cow needs the lion. The cow visits the lion. The lion chases the cow. The lion is cold. The lion is red. The lion is rough. The lion is young. The lion needs the cow. The lion visits the cow. If someone chases the lion then the lion needs the cow. If someone needs the lion and they need the cow then the lion is cold. Cold, red people are young. If someone is rough and they need the cow then the cow needs the lion. If someone chases the cow then they visit the lion. If the cow needs the lion and the lion visits the cow then the cow is red.
The lion is red.
@0: The cow chases the lion.[(triple1)] The cow is cold.[(triple2)] The cow is nice.[(triple3)] The cow is red.[(triple4 OR ((triple7 triple15) -> rule6) OR ((((triple12 triple14) -> rule4) triple15) -> rule6) OR ((((triple12 ((triple1) -> rule1)) -> rule4) triple15) -> rule6))] The cow is rough.[(triple5)] The cow is young.[(triple6 OR ((triple2 triple4) -> rule3) OR ((triple2 ((triple7 triple15) -> rule6)) -> rule3) OR ((triple2 ((((triple12 triple14) -> rule4) triple15) -> rule6)) -> rule3) OR ((triple2 ((((triple12 ((triple1) -> rule1)) -> rule4) triple15) -> rule6)) -> rule3))] The cow needs the lion.[(triple7 OR ((triple12 triple14) -> rule4) OR ((triple12 ((triple1) -> rule1)) -> rule4))] The cow visits the lion.[(triple8)] The lion chases the cow.[(triple9)] The lion is cold.[(triple10)] The lion is red.[(triple11)] The lion is rough.[(triple12)] The lion is young.[(triple13 OR ((triple10 triple11) -> rule3))] The lion needs the cow.[(triple14 OR ((triple1) -> rule1))] The lion visits the cow.[(triple15)] @1: The lion visits the lion.[(((triple9) -> rule5))]