The squirrel is nice. The squirrel is rough. The squirrel is round. If the squirrel is young then the squirrel is nice. All nice, cold things are rough. If something is nice then it is cold. If something is rough then it is round. Rough, round things are cold. If something is cold and young then it is nice. All round, nice things are rough. All cold, nice things are young.
The squirrel likes the squirrel.
@0: The squirrel is nice.[(triple1)] The squirrel is rough.[(triple2 OR ((triple3 triple1) -> rule7) OR ((triple1 ((triple1) -> rule3)) -> rule2))] The squirrel is round.[(triple3 OR ((triple2) -> rule4) OR ((((triple1 ((triple1) -> rule3)) -> rule2)) -> rule4))] @1: The squirrel is cold.[(((triple1) -> rule3) OR ((triple2 triple3) -> rule5) OR ((triple2 ((triple2) -> rule4)) -> rule5) OR ((((triple3 triple1) -> rule7) triple3) -> rule5) OR ((((triple3 triple1) -> rule7) ((triple2) -> rule4)) -> rule5))] @2: The squirrel is young.[(((((triple1) -> rule3) triple1) -> rule8) OR ((((triple2 triple3) -> rule5) triple1) -> rule8) OR ((((triple2 ((triple2) -> rule4)) -> rule5) triple1) -> rule8) OR ((((((triple3 triple1) -> rule7) triple3) -> rule5) triple1) -> rule8) OR ((((((triple3 triple1) -> rule7) ((triple2) -> rule4)) -> rule5) triple1) -> rule8))]