The cow is cold. The cow is nice. The cow is round. The cow sees the squirrel. The lion is kind. The lion needs the rabbit. The lion sees the rabbit. The rabbit is big. The rabbit is round. The rabbit sees the lion. The squirrel is kind. The squirrel needs the lion. If the rabbit is round and the rabbit sees the lion then the lion visits the cow. If something sees the lion and the lion visits the rabbit then the rabbit sees the lion. If the lion sees the cow then the lion sees the squirrel. If something visits the lion then it visits the rabbit. If something sees the cow and the cow visits the rabbit then the cow needs the squirrel. If something is cold then it sees the squirrel.
The rabbit is cold.
@0: The cow is cold.[(triple1)] The cow is nice.[(triple2)] The cow is round.[(triple3)] The cow sees the squirrel.[(triple4 OR ((triple1) -> rule6))] The lion is kind.[(triple5)] The lion needs the rabbit.[(triple6)] The lion sees the rabbit.[(triple7)] The rabbit is big.[(triple8)] The rabbit is round.[(triple9)] The rabbit sees the lion.[(triple10)] The squirrel is kind.[(triple11)] The squirrel needs the lion.[(triple12)] @1: The lion visits the cow.[(((triple9 triple10) -> rule1))]