The bald eagle likes the cat. The bald eagle visits the cat. The cat is young. The cat needs the rabbit. The cat visits the bald eagle. The cat visits the rabbit. The cat visits the tiger. The rabbit is nice. The rabbit needs the tiger. The rabbit visits the cat. The rabbit visits the tiger. The tiger likes the cat. If something is blue then it needs the bald eagle. If something is nice then it is rough. If something needs the rabbit then the rabbit is cold. Cold things are young. If something needs the tiger then the tiger likes the rabbit. If something needs the rabbit and it is rough then it is blue. If something is blue then it visits the cat. If the bald eagle likes the rabbit then the rabbit visits the bald eagle.
The cat does not need the rabbit.
@0: The bald eagle likes the cat.[(triple1)] The bald eagle visits the cat.[(triple2)] The cat is young.[(triple3)] The cat needs the rabbit.[(triple4)] The cat visits the bald eagle.[(triple5)] The cat visits the rabbit.[(triple6)] The cat visits the tiger.[(triple7)] The rabbit is nice.[(triple8)] The rabbit needs the tiger.[(triple9)] The rabbit visits the cat.[(triple10)] The rabbit visits the tiger.[(triple11)] The tiger likes the cat.[(triple12)] @1: The rabbit is cold.[(((triple4) -> rule3))] The rabbit is rough.[(((triple8) -> rule2))] The tiger likes the rabbit.[(((triple9) -> rule5))] @2: The rabbit is young.[(((((triple4) -> rule3)) -> rule4))]