The bald eagle is kind. The bald eagle likes the dog. The bald eagle sees the cat. The cat is blue. The dog likes the bald eagle. The dog visits the rabbit. The rabbit is cold. If something is kind and it likes the dog then it sees the bald eagle. If something likes the rabbit then it is cold. If something is cold and it likes the rabbit then it visits the bald eagle. If something likes the bald eagle then it likes the rabbit. If something visits the bald eagle then the bald eagle is round. If something likes the rabbit and it is blue then the rabbit visits the cat.
The rabbit is not cold.
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the dog.[(triple2)] The bald eagle sees the cat.[(triple3)] The cat is blue.[(triple4)] The dog likes the bald eagle.[(triple5)] The dog visits the rabbit.[(triple6)] The rabbit is cold.[(triple7)] @1: The bald eagle sees the bald eagle.[(((triple1 triple2) -> rule1))] The dog likes the rabbit.[(((triple5) -> rule4))] @2: The dog is cold.[(((((triple5) -> rule4)) -> rule2))] @3: The dog visits the bald eagle.[(((((((triple5) -> rule4)) -> rule2) ((triple5) -> rule4)) -> rule3))] @4: The bald eagle is round.[(((((((((triple5) -> rule4)) -> rule2) ((triple5) -> rule4)) -> rule3)) -> rule5))]