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