The cat chases the lion. The cat is blue. The cat is cold. The cat is green. The cat is round. The cat is young. The cat likes the lion. The cat visits the lion. The lion chases the cat. The lion is cold. The lion is not green. The lion is round. The lion is young. The lion likes the cat. The lion visits the cat. If something is cold then it likes the cat. If something is cold then it visits the lion.
The lion is blue.
@0: The cat chases the lion.[(triple1)] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat is green.[(triple4)] The cat is round.[(triple5)] The cat is young.[(triple6)] The cat likes the lion.[(triple7)] The cat visits the lion.[(triple8 OR ((triple3) -> rule2))] The lion chases the cat.[(triple9)] The lion is cold.[(triple10)] The lion is not green.[(triple11)] The lion is round.[(triple12)] The lion is young.[(triple13)] The lion likes the cat.[(triple14 OR ((triple10) -> rule1))] The lion visits the cat.[(triple15)] @1: The cat likes the cat.[(((triple3) -> rule1))] The lion visits the lion.[(((triple10) -> rule2))]