The bear sees the squirrel. The bear visits the squirrel. The bear visits the tiger. The rabbit is kind. The rabbit visits the squirrel. The squirrel is big. The squirrel is not green. The squirrel visits the rabbit. The squirrel visits the tiger. The tiger does not see the squirrel. If something visits the squirrel then the squirrel sees the rabbit. If something is big and not nice then it is kind. If the tiger sees the bear and the tiger does not like the bear then the bear does not see the tiger. If the squirrel is big then the squirrel visits the rabbit. If something visits the squirrel then the squirrel is not young. If something visits the squirrel and it is not big then it is young. If something visits the tiger then it visits the squirrel. If something sees the rabbit and it does not like the tiger then the rabbit visits the bear.
The bear is not kind.
@0: The bear sees the squirrel.[(triple1)] The bear visits the squirrel.[(triple2 OR ((triple3) -> rule7))] The bear visits the tiger.[(triple3)] The rabbit is kind.[(triple4)] The rabbit visits the squirrel.[(triple5)] The squirrel is big.[(triple6)] The squirrel is not green.[(triple7)] The squirrel visits the rabbit.[(triple8 OR ((triple6) -> rule4))] The squirrel visits the tiger.[(triple9)] The tiger does not see the squirrel.[(triple10)] @1: The squirrel is not young.[(((triple2) -> rule5) OR ((triple5) -> rule5) OR ((((triple3) -> rule7)) -> rule5) OR ((((triple9) -> rule7)) -> rule5))] The squirrel sees the rabbit.[(((triple2) -> rule1) OR ((triple5) -> rule1) OR ((((triple3) -> rule7)) -> rule1) OR ((((triple9) -> rule7)) -> rule1))] The squirrel visits the squirrel.[(((triple9) -> rule7))]