The cat needs the rabbit. The cat sees the dog. The cat sees the rabbit. The dog is not blue. The dog needs the rabbit. The dog sees the cat. The dog sees the rabbit. The rabbit likes the cat. The rabbit does not need the cat. The rabbit needs the dog. If the dog sees the cat then the cat is cold. All cold things are not blue.
The dog likes the rabbit.
@0: The cat needs the rabbit.[(triple1)] The cat sees the dog.[(triple2)] The cat sees the rabbit.[(triple3)] The dog is not blue.[(triple4)] The dog needs the rabbit.[(triple5)] The dog sees the cat.[(triple6)] The dog sees the rabbit.[(triple7)] The rabbit does not need the cat.[(triple9)] The rabbit likes the cat.[(triple8)] The rabbit needs the dog.[(triple10)] @1: The cat is cold.[(((triple6) -> rule1))] @2: The cat is not blue.[(((((triple6) -> rule1)) -> rule2))]