Dave is furry. Dave is red. Dave is not rough. Fiona is round. Harry is furry. Harry is not red. Harry is rough. Cold things are not round. If something is red then it is round. If Fiona is smart then Fiona is not furry. If Harry is round then Harry is red. If something is smart then it is not young. Round, red things are smart.
Dave is young.
@0: Dave is furry.[(triple1)] Dave is not rough.[(triple3)] Dave is red.[(triple2)] Fiona is round.[(triple4)] Harry is furry.[(triple5)] Harry is not red.[(triple6)] Harry is rough.[(triple7)] @1: Dave is round.[(((triple2) -> rule2))] @2: Dave is smart.[(((((triple2) -> rule2) triple2) -> rule6))] @3: Dave is not young.[(((((((triple2) -> rule2) triple2) -> rule6)) -> rule5))]