The lion chases the squirrel. The lion is big. The lion is cold. The lion is red. The lion is young. The lion sees the squirrel. The lion visits the squirrel. The squirrel chases the lion. The squirrel is big. The squirrel is cold. The squirrel is kind. The squirrel is red. The squirrel is young. The squirrel sees the lion. The squirrel visits the lion. If something sees the squirrel then it visits the squirrel. If something is kind and it visits the lion then it is red. If something is young and it sees the lion then it is red.
The lion visits the lion.
@0: The lion chases the squirrel.[(triple1)] The lion is big.[(triple2)] The lion is cold.[(triple3)] The lion is red.[(triple4)] The lion is young.[(triple5)] The lion sees the squirrel.[(triple6)] The lion visits the squirrel.[(triple7 OR ((triple6) -> rule1))] The squirrel chases the lion.[(triple8)] The squirrel is big.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is red.[(triple12 OR ((triple11 triple15) -> rule2) OR ((triple13 triple14) -> rule3))] The squirrel is young.[(triple13)] The squirrel sees the lion.[(triple14)] The squirrel visits the lion.[(triple15)]