The bear eats the lion. The bear is blue. The bear likes the lion. The lion eats the bear. The lion is big. The lion is red. The lion is round. If someone likes the lion then they are round. Blue people are rough. If the bear likes the lion then the bear is rough. If someone is big then they see the lion. If the lion is blue then the lion sees the bear. If the bear is blue and the bear is rough then the bear is red.
The bear sees the bear.
@0: The bear eats the lion.[(triple1)] The bear is blue.[(triple2)] The bear likes the lion.[(triple3)] The lion eats the bear.[(triple4)] The lion is big.[(triple5)] The lion is red.[(triple6)] The lion is round.[(triple7)] @1: The bear is rough.[(((triple2) -> rule2) OR ((triple3) -> rule3))] The bear is round.[(((triple3) -> rule1))] The lion sees the lion.[(((triple5) -> rule4))] @2: The bear is red.[(((triple2 ((triple2) -> rule2)) -> rule6) OR ((triple2 ((triple3) -> rule3)) -> rule6))]