The bear is round. The bear likes the lion. The bear does not see the lion. The bear visits the lion. The lion is cold. The lion visits the bear. The mouse is nice. The mouse likes the lion. The mouse sees the bear. The mouse sees the lion. If someone likes the lion and the lion likes the bear then they are nice. If someone is nice then they are not young. If someone is cold then they like the bear. If the mouse likes the bear and the mouse is young then the mouse is nice. If someone is blue and they visit the lion then the lion does not like the bear. If someone sees the mouse then the mouse sees the lion.
The bear does not like the lion.
@0: The bear does not see the lion.[(triple3)] The bear is round.[(triple1)] The bear likes the lion.[(triple2)] The bear visits the lion.[(triple4)] The lion is cold.[(triple5)] The lion visits the bear.[(triple6)] The mouse is nice.[(triple7 OR ((triple8 ((triple5) -> rule3)) -> rule1))] The mouse likes the lion.[(triple8)] The mouse sees the bear.[(triple9)] The mouse sees the lion.[(triple10)] @1: The lion likes the bear.[(((triple5) -> rule3))] The mouse is not young.[(((triple7) -> rule2) OR ((((triple8 ((triple5) -> rule3)) -> rule1)) -> rule2))] @2: The bear is nice.[(((triple2 ((triple5) -> rule3)) -> rule1))] @3: The bear is not young.[(((((triple2 ((triple5) -> rule3)) -> rule1)) -> rule2))]