The bear is green. The bear is young. The bear likes the tiger. The tiger eats the bear. The tiger is cold. The tiger is green. The tiger is nice. The tiger is young. The tiger likes the bear. The tiger sees the bear. If the tiger likes the bear and the bear is young then the tiger is cold. If someone is cold and young then they eat the tiger. If the bear sees the tiger then the bear eats the tiger. If someone eats the tiger and they eat the bear then they are round. If someone eats the bear then the bear likes the tiger. If someone is round then they like the tiger.
The tiger is round.
@0: The bear is green.[(triple1)] The bear is young.[(triple2)] The bear likes the tiger.[(triple3 OR ((triple4) -> rule5))] The tiger eats the bear.[(triple4)] The tiger is cold.[(triple5 OR ((triple9 triple2) -> rule1))] The tiger is green.[(triple6)] The tiger is nice.[(triple7)] The tiger is young.[(triple8)] The tiger likes the bear.[(triple9)] The tiger sees the bear.[(triple10)] @1: The tiger eats the tiger.[(((triple5 triple8) -> rule2) OR ((((triple9 triple2) -> rule1) triple8) -> rule2))] @2: The tiger is round.[(((((triple5 triple8) -> rule2) triple4) -> rule4) OR ((((((triple9 triple2) -> rule1) triple8) -> rule2) triple4) -> rule4))] @3: The tiger likes the tiger.[(((((((triple5 triple8) -> rule2) triple4) -> rule4)) -> rule6) OR ((((((((triple9 triple2) -> rule1) triple8) -> rule2) triple4) -> rule4)) -> rule6))]