The bald eagle is cold. The bald eagle likes the rabbit. The bald eagle likes the tiger. The bald eagle needs the dog. The bald eagle needs the tiger. The dog is big. The dog is blue. The dog is cold. The dog likes the bald eagle. The dog visits the bald eagle. The dog visits the tiger. The rabbit is big. The rabbit likes the dog. The rabbit likes the tiger. The rabbit needs the bald eagle. The tiger visits the dog. If something needs the tiger and the tiger visits the bald eagle then the tiger visits the dog. If something is round then it needs the dog. If the rabbit is big then the rabbit needs the dog. If something needs the tiger and it likes the dog then it is cold. If the rabbit needs the bald eagle and the bald eagle visits the tiger then the tiger likes the rabbit. If something likes the rabbit then it is kind. If the tiger visits the dog then the dog likes the rabbit. If something likes the tiger and it is kind then the tiger likes the rabbit.
The dog is kind.
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle needs the dog.[(triple4)] The bald eagle needs the tiger.[(triple5)] The dog is big.[(triple6)] The dog is blue.[(triple7)] The dog is cold.[(triple8)] The dog likes the bald eagle.[(triple9)] The dog visits the bald eagle.[(triple10)] The dog visits the tiger.[(triple11)] The rabbit is big.[(triple12)] The rabbit likes the dog.[(triple13)] The rabbit likes the tiger.[(triple14)] The rabbit needs the bald eagle.[(triple15)] The tiger visits the dog.[(triple16)] @1: The bald eagle is kind.[(((triple2) -> rule6))] The dog likes the rabbit.[(((triple16) -> rule7))] The rabbit needs the dog.[(((triple12) -> rule3))] @2: The dog is kind.[(((((triple16) -> rule7)) -> rule6))] The tiger likes the rabbit.[(((triple3 ((triple2) -> rule6)) -> rule8))] @3: The tiger is kind.[(((((triple3 ((triple2) -> rule6)) -> rule8)) -> rule6))]