The cow is cold. The cow is red. The cow is round. The cow sees the lion. The cow visits the lion. The lion is nice. The lion is rough. If someone is cold then they need the cow. If someone needs the lion then the lion is rough.
The cow needs the cow.
@0: The cow is cold.[(triple1)] The cow is red.[(triple2)] The cow is round.[(triple3)] The cow sees the lion.[(triple4)] The cow visits the lion.[(triple5)] The lion is nice.[(triple6)] The lion is rough.[(triple7)] @1: The cow needs the cow.[(((triple1) -> rule1))]