They always call him rough Alan. Bob, a kind and nice man, is wearing a green sweatshirt. He is also a fairly round sized man in shape. Red Eric is what folks call him, because he is quite red. They always say that he is so nice and kind, that is Big Fred.  But he is also round and blue. A big, kind someone could also be cold in a green dress. Any human being with green, big, kind eyes, also has round eyes. Any cold, round, green person is going to be young at the same time. A quite nice person will certainly be red. Someone who is not only rough and big but also nice will necessarily be round as well. Red and round people will be cold even in the summer. Anyone that's described as young, kind and blue can be said to be cold, too.
Fred is not nice.
@0: Alan is rough.[(triple1)] Bob is green.[(triple5)] Bob is kind.[(triple4)] Bob is nice.[(triple3)] Bob is round.[(triple2)] Eric is red.[(triple6)] Fred is big.[(triple11)] Fred is blue.[(triple10)] Fred is kind.[(triple9)] Fred is nice.[(triple8)] Fred is round.[(triple7)] @1: Bob is red.[(((triple3) -> rule4))] Fred is red.[(((triple8) -> rule4))] @2: Bob is cold.[(((((triple3) -> rule4) triple2) -> rule6))] Fred is cold.[(((((triple8) -> rule4) triple7) -> rule6))] @3: Bob is young.[(((((((triple3) -> rule4) triple2) -> rule6) triple2 triple5) -> rule3))] Fred is green.[(((triple11 triple9 ((((triple8) -> rule4) triple7) -> rule6)) -> rule1))] @4: Fred is young.[(((((((triple8) -> rule4) triple7) -> rule6) triple7 ((triple11 triple9 ((((triple8) -> rule4) triple7) -> rule6)) -> rule1)) -> rule3))]