Charlie is rough. Fiona is green. Fiona is not kind. Fiona is rough. Harry is kind. Harry is quiet. Harry is rough. If something is red and furry then it is green. All big things are furry. All red things are furry. All rough, quiet things are big. If something is quiet and rough then it is red. If something is rough and not red then it is kind.
Harry is furry.
@0: Charlie is rough.[(triple1)] Fiona is green.[(triple2)] Fiona is not kind.[(triple3)] Fiona is rough.[(triple4)] Harry is kind.[(triple5)] Harry is quiet.[(triple6)] Harry is rough.[(triple7)] @1: Harry is big.[(((triple7 triple6) -> rule4))] Harry is red.[(((triple6 triple7) -> rule5))] @2: Harry is furry.[(((((triple6 triple7) -> rule5)) -> rule3) OR ((((triple7 triple6) -> rule4)) -> rule2))] @3: Harry is green.[(((((triple6 triple7) -> rule5) ((((triple6 triple7) -> rule5)) -> rule3)) -> rule1) OR ((((triple6 triple7) -> rule5) ((((triple7 triple6) -> rule4)) -> rule2)) -> rule1))]