The bald eagle is red. The bald eagle likes the rabbit. The bald eagle does not see the cat. The cat does not eat the bald eagle. The cat likes the rabbit. The cat likes the tiger. The rabbit does not eat the cat. The rabbit likes the bald eagle. The rabbit sees the cat. The tiger is cold. The tiger is not rough. The tiger does not like the cat. The tiger likes the rabbit. The tiger sees the bald eagle. The tiger sees the cat. If something sees the rabbit then the rabbit eats the bald eagle. If something likes the tiger then it is rough. If something is rough and it does not eat the bald eagle then it does not see the tiger.
The cat does not see the tiger.
@0: The bald eagle does not see the cat.[(triple3)] The bald eagle is red.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The cat does not eat the bald eagle.[(triple4)] The cat likes the rabbit.[(triple5)] The cat likes the tiger.[(triple6)] The rabbit does not eat the cat.[(triple7)] The rabbit likes the bald eagle.[(triple8)] The rabbit sees the cat.[(triple9)] The tiger does not like the cat.[(triple12)] The tiger is cold.[(triple10)] The tiger is not rough.[(triple11)] The tiger likes the rabbit.[(triple13)] The tiger sees the bald eagle.[(triple14)] The tiger sees the cat.[(triple15)] @1: The cat is rough.[(((triple6) -> rule2))] @2: The cat does not see the tiger.[(((((triple6) -> rule2) triple4) -> rule3))]