The squirrel is big. The squirrel is cold. The squirrel is rough. The squirrel is round. The squirrel is young. If the squirrel is big then the squirrel is round. All round people are rough. All big people are rough. Young, big people are rough. If someone is rough then they are cold. Round people are young. If someone is round then they are young. If someone is rough and not round then they are not young.
The squirrel visits the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is cold.[(triple2 OR ((triple3) -> rule5) OR ((((triple1) -> rule3)) -> rule5) OR ((((triple4) -> rule2)) -> rule5) OR ((((triple5 triple1) -> rule4)) -> rule5) OR ((((((triple1) -> rule1)) -> rule2)) -> rule5) OR ((((((triple4) -> rule6) triple1) -> rule4)) -> rule5) OR ((((((triple4) -> rule7) triple1) -> rule4)) -> rule5) OR ((((((((triple1) -> rule1)) -> rule6) triple1) -> rule4)) -> rule5) OR ((((((((triple1) -> rule1)) -> rule7) triple1) -> rule4)) -> rule5))] The squirrel is rough.[(triple3 OR ((triple1) -> rule3) OR ((triple4) -> rule2) OR ((triple5 triple1) -> rule4) OR ((((triple1) -> rule1)) -> rule2) OR ((((triple4) -> rule6) triple1) -> rule4) OR ((((triple4) -> rule7) triple1) -> rule4) OR ((((((triple1) -> rule1)) -> rule6) triple1) -> rule4) OR ((((((triple1) -> rule1)) -> rule7) triple1) -> rule4))] The squirrel is round.[(triple4 OR ((triple1) -> rule1))] The squirrel is young.[(triple5 OR ((triple4) -> rule6) OR ((triple4) -> rule7) OR ((((triple1) -> rule1)) -> rule6) OR ((((triple1) -> rule1)) -> rule7))]