The bear is cold. The bear sees the lion. The bear visits the lion. The lion eats the bear. The lion is cold. The lion sees the bear. The lion visits the bear. If someone visits the lion then the lion is not rough. If someone visits the bear and they are cold then the bear is round. If someone eats the bear then the bear eats the lion. If someone visits the bear then the bear sees the lion. If someone eats the lion then they eat the bear. If the bear eats the lion and the bear does not see the lion then the bear is rough.
The lion is blue.
@0: The bear is cold.[(triple1)] The bear sees the lion.[(triple2 OR ((triple7) -> rule4))] The bear visits the lion.[(triple3)] The lion eats the bear.[(triple4)] The lion is cold.[(triple5)] The lion sees the bear.[(triple6)] The lion visits the bear.[(triple7)] @1: The bear eats the lion.[(((triple4) -> rule3))] The bear is round.[(((triple7 triple5) -> rule2))] The lion is not rough.[(((triple3) -> rule1))] @2: The bear eats the bear.[(((((triple4) -> rule3)) -> rule5))]