The bear chases the lion. The bear sees the squirrel. The lion chases the squirrel. The lion is nice. The lion is round. The squirrel chases the bear. The squirrel chases the lion. The squirrel is cold. The squirrel is nice. The squirrel likes the bear. The squirrel likes the lion. The squirrel sees the bear. If someone sees the squirrel and they chase the bear then they are cold. If someone sees the bear and the bear is red then the bear likes the squirrel. If someone likes the lion and they like the bear then the bear is blue. If someone is cold then they like the bear. If the bear sees the lion and the bear is nice then the bear chases the lion. All blue people are cold.
The squirrel sees the bear.
@0: The bear chases the lion.[(triple1)] The bear sees the squirrel.[(triple2)] The lion chases the squirrel.[(triple3)] The lion is nice.[(triple4)] The lion is round.[(triple5)] The squirrel chases the bear.[(triple6)] The squirrel chases the lion.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is nice.[(triple9)] The squirrel likes the bear.[(triple10 OR ((triple8) -> rule4))] The squirrel likes the lion.[(triple11)] The squirrel sees the bear.[(triple12)] @1: The bear is blue.[(((triple11 triple10) -> rule3) OR ((triple11 ((triple8) -> rule4)) -> rule3))] @2: The bear is cold.[(((((triple11 triple10) -> rule3)) -> rule6) OR ((((triple11 ((triple8) -> rule4)) -> rule3)) -> rule6))] @3: The bear likes the bear.[(((((((triple11 triple10) -> rule3)) -> rule6)) -> rule4) OR ((((((triple11 ((triple8) -> rule4)) -> rule3)) -> rule6)) -> rule4))]