Alan's a young guy who is big, red and round. Additionally, he's both kind and cold. Dave ate some rotten meat and now feels green. Fred is young and kind.  But he plays really rough with his friends. Harry is green, which is a possible explanation for why he is so nice. Because someone is green and kind they are extremely nice to people. A nice, big person that is red is usually young. A round shaped and young aged person will be very cold. Round people who feel rough also always feel cold,. Green people will be nice even when they have been rough. A big rough person are also young of age. Round people are often red before they turn green.
Alan is not rough.
@0: Alan is big.[(triple6)] Alan is cold.[(triple5 OR ((triple2 triple1) -> rule3) OR ((triple2 ((((((triple2 triple3) -> rule7) triple4) -> rule1) triple3 triple6) -> rule2)) -> rule3) OR ((triple2 ((((triple2 triple3) -> rule7) ((((triple2 triple3) -> rule7) triple4) -> rule1)) -> rule5)) -> rule4) OR ((triple2 ((triple6 ((((triple2 triple3) -> rule7) ((((triple2 triple3) -> rule7) triple4) -> rule1)) -> rule5)) -> rule6)) -> rule3))] Alan is kind.[(triple4)] Alan is red.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1 OR ((((((triple2 triple3) -> rule7) triple4) -> rule1) triple3 triple6) -> rule2) OR ((triple6 ((((triple2 triple3) -> rule7) ((((triple2 triple3) -> rule7) triple4) -> rule1)) -> rule5)) -> rule6))] Dave is green.[(triple7)] Fred is kind.[(triple10)] Fred is rough.[(triple9)] Fred is young.[(triple8)] Harry is green.[(triple12)] Harry is nice.[(triple11)] @1: Alan is green.[(((triple2 triple3) -> rule7))] Harry is rough.[(((triple12 triple11) -> rule5))] @2: Alan is nice.[(((((triple2 triple3) -> rule7) triple4) -> rule1))] @3: Alan is rough.[(((((triple2 triple3) -> rule7) ((((triple2 triple3) -> rule7) triple4) -> rule1)) -> rule5))]