Alan is rough but very kind, he is also red in color and young in age. From a certain angle Bob is blue but he is young so maybe that will go away. Gary became so big that he is now very round. Fortunately the rather green man is still nice. In the snow sits Harry, crying from being cold. Big, kind people are nice. A big person in size will definitely be rough. Rough and kind people are big. If red and slightly green people are asked, they will tell you they feel blue. People who are nice, big, and also rough, are considered red.
Bob is round.
@0: Alan is kind.[(triple4)] Alan is red.[(triple3 OR ((((triple4 ((triple2 triple4) -> rule3)) -> rule1) ((triple2 triple4) -> rule3) triple2) -> rule5))] Alan is rough.[(triple2)] Alan is young.[(triple1)] Bob is blue.[(triple6)] Bob is young.[(triple5)] Gary is big.[(triple10)] Gary is green.[(triple9)] Gary is nice.[(triple8)] Gary is round.[(triple7)] Harry is cold.[(triple11)] @1: Alan is big.[(((triple2 triple4) -> rule3))] Gary is rough.[(((triple10) -> rule2))] @2: Alan is nice.[(((triple4 ((triple2 triple4) -> rule3)) -> rule1))] Gary is red.[(((triple8 triple10 ((triple10) -> rule2)) -> rule5))] @3: Gary is blue.[(((triple9 ((triple8 triple10 ((triple10) -> rule2)) -> rule5)) -> rule4))]