The bear is green. The bear is red. The bear sees the lion. The bear visits the lion. The lion is rough. The lion likes the bear. The lion sees the bear. If someone is rough and they visit the lion then the lion likes the bear. If someone likes the lion and they are nice then they like the bear. If someone sees the bear and the bear likes the lion then the bear sees the lion. If someone is rough then they see the bear. If the bear sees the lion and the bear visits the lion then the bear likes the lion. If the bear likes the lion and the bear visits the lion then the bear is cold. If someone visits the lion then the lion sees the bear. If someone is cold then they like the bear.
The lion is not red.
@0: The bear is green.[(triple1)] The bear is red.[(triple2)] The bear sees the lion.[(triple3)] The bear visits the lion.[(triple4)] The lion is rough.[(triple5)] The lion likes the bear.[(triple6)] The lion sees the bear.[(triple7 OR ((triple4) -> rule7) OR ((triple5) -> rule4))] @1: The bear likes the lion.[(((triple3 triple4) -> rule5))] @2: The bear is cold.[(((((triple3 triple4) -> rule5) triple4) -> rule6))] @3: The bear likes the bear.[(((((((triple3 triple4) -> rule5) triple4) -> rule6)) -> rule8))]