The squirrel is big. The squirrel is cold. The squirrel is nice. The squirrel is red. The squirrel is young. All nice people are big. If the squirrel is big then the squirrel is nice. If someone is big then they are cold. If the squirrel is young and the squirrel is big then the squirrel is nice. If someone is red then they are nice. All young, nice people are cold.
The squirrel needs the squirrel.
@0: The squirrel is big.[(triple1 OR ((triple3) -> rule1) OR ((((triple4) -> rule5)) -> rule1))] The squirrel is cold.[(triple2 OR ((triple1) -> rule3) OR ((triple5 triple3) -> rule6) OR ((((triple3) -> rule1)) -> rule3) OR ((triple5 ((triple1) -> rule2)) -> rule6) OR ((triple5 ((triple4) -> rule5)) -> rule6) OR ((triple5 ((triple5 triple1) -> rule4)) -> rule6) OR ((((((triple4) -> rule5)) -> rule1)) -> rule3))] The squirrel is nice.[(triple3 OR ((triple1) -> rule2) OR ((triple4) -> rule5) OR ((triple5 triple1) -> rule4))] The squirrel is red.[(triple4)] The squirrel is young.[(triple5)]