The dog is big. The dog is cold. The dog needs the lion. The dog needs the rabbit. The dog sees the lion. The dog sees the rabbit. The lion is cold. The lion needs the dog. The lion sees the rabbit. The rabbit is rough. If the dog sees the lion then the dog likes the lion. If something likes the rabbit and the rabbit is young then the rabbit likes the lion. If the lion likes the dog then the lion needs the rabbit. If the dog likes the rabbit then the rabbit likes the lion. If something likes the lion then it sees the dog. If something sees the dog then the dog is rough.
The rabbit does not like the lion.
@0: The dog is big.[(triple1)] The dog is cold.[(triple2)] The dog needs the lion.[(triple3)] The dog needs the rabbit.[(triple4)] The dog sees the lion.[(triple5)] The dog sees the rabbit.[(triple6)] The lion is cold.[(triple7)] The lion needs the dog.[(triple8)] The lion sees the rabbit.[(triple9)] The rabbit is rough.[(triple10)] @1: The dog likes the lion.[(((triple5) -> rule1))] @2: The dog sees the dog.[(((((triple5) -> rule1)) -> rule5))] @3: The dog is rough.[(((((((triple5) -> rule1)) -> rule5)) -> rule6))]