The squirrel is cold. The squirrel is kind. The squirrel is round. If the squirrel is kind and the squirrel is young then the squirrel is cold. If the squirrel is cold then the squirrel is young. Young people are kind. If the squirrel is cold and the squirrel is young then the squirrel is big. If the squirrel is cold then the squirrel is young. Young people are cold. Kind people are cold. If someone is cold and kind then they are young.
The squirrel is not cold.
@0: The squirrel is cold.[(triple1 OR ((triple2) -> rule7))] The squirrel is kind.[(triple2 OR ((((triple1) -> rule2)) -> rule3) OR ((((triple1) -> rule5)) -> rule3))] The squirrel is round.[(triple3)] @1: The squirrel is young.[(((triple1) -> rule2) OR ((triple1) -> rule5) OR ((triple1 triple2) -> rule8) OR ((((triple2) -> rule7)) -> rule2) OR ((((triple2) -> rule7)) -> rule5) OR ((((triple2) -> rule7) triple2) -> rule8))] @2: The squirrel is big.[(((triple1 ((triple1) -> rule2)) -> rule4) OR ((triple1 ((triple1) -> rule5)) -> rule4) OR ((triple1 ((triple1 triple2) -> rule8)) -> rule4) OR ((((triple2) -> rule7) ((triple1) -> rule2)) -> rule4) OR ((((triple2) -> rule7) ((triple1) -> rule5)) -> rule4) OR ((((triple2) -> rule7) ((triple1 triple2) -> rule8)) -> rule4) OR ((triple1 ((((triple2) -> rule7)) -> rule2)) -> rule4) OR ((triple1 ((((triple2) -> rule7)) -> rule5)) -> rule4) OR ((triple1 ((((triple2) -> rule7) triple2) -> rule8)) -> rule4) OR ((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule2)) -> rule4) OR ((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule5)) -> rule4) OR ((((triple2) -> rule7) ((((triple2) -> rule7) triple2) -> rule8)) -> rule4))]