The bald eagle is not blue. The bald eagle is not cold. The bald eagle sees the rabbit. The bear is kind. The bear sees the lion. The lion likes the rabbit. The lion sees the bear. The lion sees the rabbit. The rabbit is red. The rabbit likes the bear. The rabbit sees the bear. The rabbit sees the lion. If something eats the lion then it is not red. If something is blue then it is not red. If the rabbit eats the lion and the lion does not see the bald eagle then the rabbit is young. If something sees the bear then the bear likes the bald eagle. If something sees the bear then the bear is young. If something is blue and it does not like the bear then it sees the bear. Young things are blue. All young things are blue.
The bear is not red.
@0: The bald eagle is not blue.[(triple1)] The bald eagle is not cold.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The bear is kind.[(triple4)] The bear sees the lion.[(triple5)] The lion likes the rabbit.[(triple6)] The lion sees the bear.[(triple7)] The lion sees the rabbit.[(triple8)] The rabbit is red.[(triple9)] The rabbit likes the bear.[(triple10)] The rabbit sees the bear.[(triple11)] The rabbit sees the lion.[(triple12)] @1: The bear is young.[(((triple11) -> rule5) OR ((triple7) -> rule5))] The bear likes the bald eagle.[(((triple11) -> rule4) OR ((triple7) -> rule4))] @2: The bear is blue.[(((((triple11) -> rule5)) -> rule7) OR ((((triple11) -> rule5)) -> rule8) OR ((((triple7) -> rule5)) -> rule7) OR ((((triple7) -> rule5)) -> rule8))] @3: The bear is not red.[(((((((triple11) -> rule5)) -> rule7)) -> rule2) OR ((((((triple11) -> rule5)) -> rule8)) -> rule2) OR ((((((triple7) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7) -> rule5)) -> rule8)) -> rule2))]