The dog is cold. The dog is rough. The dog likes the rabbit. The dog needs the rabbit. The dog sees the rabbit. The rabbit likes the dog. The rabbit does not need the dog. If something likes the dog then it sees the rabbit. If something sees the rabbit and the rabbit likes the dog then it is not big. If something likes the rabbit then the rabbit sees the dog.
The dog is young.
@0: The dog is cold.[(triple1)] The dog is rough.[(triple2)] The dog likes the rabbit.[(triple3)] The dog needs the rabbit.[(triple4)] The dog sees the rabbit.[(triple5)] The rabbit does not need the dog.[(triple7)] The rabbit likes the dog.[(triple6)] @1: The dog is not big.[(((triple5 triple6) -> rule2))] The rabbit sees the dog.[(((triple3) -> rule3))] The rabbit sees the rabbit.[(((triple6) -> rule1))] @2: The rabbit is not big.[(((((triple6) -> rule1) triple6) -> rule2))]