Alan, like all young people, is nice. Dave, like all young people, is nice. Big Harry is a kind man and often wears blue and green shirts. A young aged and blue colored person will certainly be round. Big, kind people are nice. A young round person who is green is also red. Young round folks who are at least a bit red are actually nice. Show me someone who is cold and kind, and I'll show you how green they are. A round shaped and red person is definitely nice. People that are green tend to be young.
Harry is young.
@0: Alan is nice.[(triple2)] Alan is young.[(triple1)] Dave is nice.[(triple4)] Dave is young.[(triple3)] Harry is big.[(triple8)] Harry is blue.[(triple7)] Harry is green.[(triple6)] Harry is kind.[(triple5)] @1: Harry is nice.[(((triple5 triple8) -> rule2) OR ((((((triple6) -> rule7) triple7) -> rule1) ((((triple6) -> rule7) ((((triple6) -> rule7) triple7) -> rule1) triple6) -> rule3)) -> rule6) OR ((((((triple6) -> rule7) ((((triple6) -> rule7) triple7) -> rule1) triple6) -> rule3) ((((triple6) -> rule7) triple7) -> rule1) ((triple6) -> rule7)) -> rule4))] Harry is young.[(((triple6) -> rule7))] @2: Harry is round.[(((((triple6) -> rule7) triple7) -> rule1))] @3: Harry is red.[(((((triple6) -> rule7) ((((triple6) -> rule7) triple7) -> rule1) triple6) -> rule3))]