The bear sees the squirrel. The rabbit sees the squirrel. The squirrel likes the rabbit. If the squirrel sees the rabbit and the squirrel likes the bear then the rabbit is nice. If someone likes the bear then they see the squirrel. If someone likes the squirrel and the squirrel visits the rabbit then they see the bear. If someone is cold and nice then they like the rabbit. If someone sees the squirrel then the squirrel is red. If someone likes the squirrel then the squirrel sees the rabbit. If someone visits the rabbit and they are nice then they are young. If someone is red and they see the bear then the bear is young.
The bear sees the squirrel.
@0: The bear sees the squirrel.[(triple1)] The rabbit sees the squirrel.[(triple2)] The squirrel likes the rabbit.[(triple3)] @1: The squirrel is red.[(((triple1) -> rule5) OR ((triple2) -> rule5))]