The bear eats the tiger. The bear is big. The bear is round. The bear is young. The bear needs the tiger. The bear visits the tiger. The tiger eats the bear. The tiger is big. The tiger is nice. The tiger is young. The tiger needs the bear. The tiger visits the bear. If the tiger needs the bear and the tiger eats the bear then the bear is young. If someone is young and they need the tiger then they are blue. If the bear is nice then the bear is round.
The tiger is not blue.
@0: The bear eats the tiger.[(triple1)] The bear is big.[(triple2)] The bear is round.[(triple3)] The bear is young.[(triple4 OR ((triple11 triple7) -> rule1))] The bear needs the tiger.[(triple5)] The bear visits the tiger.[(triple6)] The tiger eats the bear.[(triple7)] The tiger is big.[(triple8)] The tiger is nice.[(triple9)] The tiger is young.[(triple10)] The tiger needs the bear.[(triple11)] The tiger visits the bear.[(triple12)] @1: The bear is blue.[(((triple4 triple5) -> rule2) OR ((((triple11 triple7) -> rule1) triple5) -> rule2))]