The bear is kind. The bear is young. The bear sees the squirrel. The bear visits the squirrel. The rabbit chases the squirrel. The rabbit is blue. The rabbit is young. The rabbit sees the bear. The rabbit sees the squirrel. The squirrel chases the rabbit. The squirrel is cold. The squirrel visits the bear. If someone sees the bear and they chase the rabbit then they chase the squirrel. If someone visits the rabbit and the rabbit chases the bear then the rabbit is kind. If someone sees the bear then the bear sees the rabbit. If someone sees the bear then the bear visits the rabbit. If someone visits the rabbit then they are kind. All nice people are kind.
The squirrel does not chase the squirrel.
@0: The bear is kind.[(triple1 OR ((((triple8) -> rule4)) -> rule5))] The bear is young.[(triple2)] The bear sees the squirrel.[(triple3)] The bear visits the squirrel.[(triple4)] The rabbit chases the squirrel.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is young.[(triple7)] The rabbit sees the bear.[(triple8)] The rabbit sees the squirrel.[(triple9)] The squirrel chases the rabbit.[(triple10)] The squirrel is cold.[(triple11)] The squirrel visits the bear.[(triple12)] @1: The bear sees the rabbit.[(((triple8) -> rule3))] The bear visits the rabbit.[(((triple8) -> rule4))]