The dog likes the rabbit. The dog sees the lion. The lion is cold. The lion is rough. The lion is round. The lion likes the dog. The lion likes the rabbit. The lion sees the dog. The lion sees the rabbit. The rabbit is cold. The rabbit likes the dog. The rabbit sees the lion. If the lion chases the dog then the dog is green. If something likes the rabbit then it sees the rabbit. If something is round and it likes the rabbit then it chases the dog.
The dog is not cold.
@0: The dog likes the rabbit.[(triple1)] The dog sees the lion.[(triple2)] The lion is cold.[(triple3)] The lion is rough.[(triple4)] The lion is round.[(triple5)] The lion likes the dog.[(triple6)] The lion likes the rabbit.[(triple7)] The lion sees the dog.[(triple8)] The lion sees the rabbit.[(triple9 OR ((triple7) -> rule2))] The rabbit is cold.[(triple10)] The rabbit likes the dog.[(triple11)] The rabbit sees the lion.[(triple12)] @1: The dog sees the rabbit.[(((triple1) -> rule2))] The lion chases the dog.[(((triple5 triple7) -> rule3))] @2: The dog is green.[(((((triple5 triple7) -> rule3)) -> rule1))]