The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is rough. The bald eagle likes the cat. The bear likes the bald eagle. The bear sees the bald eagle. The cat is big. The cat is rough. The cat needs the bald eagle. The tiger is blue. The tiger is rough. The tiger likes the cat. The tiger sees the bear. The tiger sees the cat. If someone sees the bear and the bear sees the bald eagle then they need the bald eagle. If someone sees the cat then they are blue. If someone needs the bald eagle then the bald eagle likes the bear. If someone is big then they see the cat. If someone needs the bald eagle and they see the bear then the bear is cold. If the cat is rough then the cat needs the bear. All cold people are blue. If someone needs the cat and the cat likes the tiger then the tiger likes the bald eagle.
The bear is not cold.
@0: The bald eagle is blue.[(triple1 OR ((triple2) -> rule7))] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle likes the cat.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear sees the bald eagle.[(triple7)] The cat is big.[(triple8)] The cat is rough.[(triple9)] The cat needs the bald eagle.[(triple10)] The tiger is blue.[(triple11 OR ((triple15) -> rule2))] The tiger is rough.[(triple12)] The tiger likes the cat.[(triple13)] The tiger sees the bear.[(triple14)] The tiger sees the cat.[(triple15)] @1: The bald eagle likes the bear.[(((triple10) -> rule3) OR ((((triple14 triple7) -> rule1)) -> rule3))] The cat needs the bear.[(((triple9) -> rule6))] The cat sees the cat.[(((triple8) -> rule4))] The tiger needs the bald eagle.[(((triple14 triple7) -> rule1))] @2: The bear is cold.[(((((triple14 triple7) -> rule1) triple14) -> rule5))] The cat is blue.[(((((triple8) -> rule4)) -> rule2))] @3: The bear is blue.[(((((((triple14 triple7) -> rule1) triple14) -> rule5)) -> rule7))]