The bear eats the lion. The bear is cold. The bear is round. The bear likes the lion. The lion is round. The lion likes the bear. The lion sees the bear. Round people are cold. If the bear is green and the bear is not round then the bear eats the lion. If someone likes the lion then they are not green. If someone sees the bear then they see the lion. If someone sees the bear and they are cold then they like the lion. If someone is green and they do not like the lion then the lion eats the bear.
The lion eats the lion.
@0: The bear eats the lion.[(triple1)] The bear is cold.[(triple2 OR ((triple3) -> rule1))] The bear is round.[(triple3)] The bear likes the lion.[(triple4)] The lion is round.[(triple5)] The lion likes the bear.[(triple6)] The lion sees the bear.[(triple7)] @1: The bear is not green.[(((triple4) -> rule3))] The lion is cold.[(((triple5) -> rule1))] The lion sees the lion.[(((triple7) -> rule4))] @2: The lion likes the lion.[(((triple7 ((triple5) -> rule1)) -> rule5))] @3: The lion is not green.[(((((triple7 ((triple5) -> rule1)) -> rule5)) -> rule3))]