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