The dog is cold. The dog is rough. The dog likes the lion. The dog needs the lion. The dog sees the lion. The lion is blue. The lion is green. The lion is red. The lion likes the dog. The lion needs the dog. If something likes the lion and the lion is red then it sees the dog. If the lion needs the dog and the lion is cold then the lion likes the dog. If something is blue and cold then it needs the dog. If something sees the dog then it is blue. If something likes the dog and it is rough then it is red. If something likes the lion and the lion needs the dog then the lion sees the dog. If something is red and cold then it likes the dog. If something sees the lion and it likes the dog then it needs the dog.
The dog is not cold.
@0: The dog is cold.[(triple1)] The dog is rough.[(triple2)] The dog likes the lion.[(triple3)] The dog needs the lion.[(triple4)] The dog sees the lion.[(triple5)] The lion is blue.[(triple6 OR ((((triple3 triple10) -> rule6)) -> rule4))] The lion is green.[(triple7)] The lion is red.[(triple8)] The lion likes the dog.[(triple9)] The lion needs the dog.[(triple10)] @1: The dog sees the dog.[(((triple3 triple8) -> rule1))] The lion sees the dog.[(((triple3 triple10) -> rule6))] @2: The dog is blue.[(((((triple3 triple8) -> rule1)) -> rule4))] @3: The dog needs the dog.[(((((((triple3 triple8) -> rule1)) -> rule4) triple1) -> rule3))]