Alan is rough and green, but he's also nice, kind and round. Red Dave is what folks call him, because he is quite red. In the snow sits Gary, crying from being cold. Find someone cold and green. If they are also round, then they are sure to be nice. A person who's big and kind will also be cold. A person that is blue green and nice are that way because they are still young. Despite being kind cold people with red ears will still be big. Someone who is not only rough and big but also nice will necessarily be round as well. Someone being both nice and kind means that they are a big person. Someone who is big and kind is blue.
Dave is kind.
@0: Alan is green.[(triple5)] Alan is kind.[(triple4)] Alan is nice.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1 OR ((triple2 ((triple3 triple4) -> rule6) triple3) -> rule5))] Dave is red.[(triple6)] Gary is cold.[(triple7)] @1: Alan is big.[(((triple3 triple4) -> rule6))] @2: Alan is blue.[(((triple4 ((triple3 triple4) -> rule6)) -> rule7))] Alan is cold.[(((((triple3 triple4) -> rule6) triple4) -> rule2))] @3: Alan is young.[(((((triple4 ((triple3 triple4) -> rule6)) -> rule7) triple5 triple3) -> rule3))]