The dog chases the lion. The dog eats the lion. The dog is blue. The dog is cold. The dog is red. The dog is rough. The dog is not round. The dog needs the lion. The lion chases the dog. The lion does not eat the dog. The lion is red. The lion is not rough. If the lion does not need the dog then the lion chases the dog. If something chases the lion and it is not red then the lion chases the dog. All blue things are cold. If the dog chases the lion then the dog is cold. All red things are blue. If the dog eats the lion and the dog is rough then the dog needs the lion. If something needs the dog and it is not red then it does not eat the dog. If something needs the dog and it is not cold then the dog is round.
The lion is not red.
@0: The dog chases the lion.[(triple1)] The dog eats the lion.[(triple2)] The dog is blue.[(triple3 OR ((triple5) -> rule5))] The dog is cold.[(triple4 OR ((triple1) -> rule4) OR ((triple3) -> rule3) OR ((((triple5) -> rule5)) -> rule3))] The dog is not round.[(triple7)] The dog is red.[(triple5)] The dog is rough.[(triple6)] The dog needs the lion.[(triple8 OR ((triple2 triple6) -> rule6))] The lion chases the dog.[(triple9)] The lion does not eat the dog.[(triple10)] The lion is not rough.[(triple12)] The lion is red.[(triple11)] @1: The lion is blue.[(((triple11) -> rule5))] @2: The lion is cold.[(((((triple11) -> rule5)) -> rule3))]