Alan is a red person who is round and also feels blue. Red Bob is what folks call him, because he is quite red. Upon meeting Fred, you'll notice he's green and kind. Harry is colored red and green. He is also young, rough and very cold. A rough and kind person is big. Rough young folks are surprisingly kind. Some kind person that is round a blue will get embarrassed and turn red. Anyone that's described as young, kind and blue can be said to be cold, too. Most big and kind people,though young,are often blue.
Harry is kind.
@0: Alan is blue.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is red.[(triple4)] Fred is green.[(triple6)] Fred is kind.[(triple5)] Harry is cold.[(triple11 OR ((triple7 ((((((triple7 triple8) -> rule2) triple8) -> rule1) ((triple7 triple8) -> rule2) triple7) -> rule5) ((triple7 triple8) -> rule2)) -> rule4))] Harry is green.[(triple10)] Harry is red.[(triple9)] Harry is rough.[(triple8)] Harry is young.[(triple7)] @1: Harry is kind.[(((triple7 triple8) -> rule2))] @2: Harry is big.[(((((triple7 triple8) -> rule2) triple8) -> rule1))] @3: Harry is blue.[(((((((triple7 triple8) -> rule2) triple8) -> rule1) ((triple7 triple8) -> rule2) triple7) -> rule5))]