Alan is very nice to people, but he's also rather big. Red Bob is what folks call him, because he is quite red. Even though Eric is rough, he nice but cold and blue. Harry looks big and is kind with red hair and green shoes. Surprisingly, all the kind, green people were also big. Look for the blue and green people, they are kind and will give you directions if you're lost. A person that is round, green, and blue is usually considered cold. Anyone who's blue is also green.
Alan is round.
@0: Alan is big.[(triple2)] Alan is nice.[(triple1)] Bob is red.[(triple3)] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Eric is nice.[(triple5)] Eric is rough.[(triple4)] Harry is big.[(triple11 OR ((triple9 triple10) -> rule1))] Harry is green.[(triple10)] Harry is kind.[(triple9)] Harry is red.[(triple8)] @1: Eric is green.[(((triple7) -> rule4))] @2: Eric is kind.[(((triple7 ((triple7) -> rule4)) -> rule2))] @3: Eric is big.[(((((triple7 ((triple7) -> rule4)) -> rule2) ((triple7) -> rule4)) -> rule1))]