Charlie is cold. Charlie is nice. Charlie is not rough. Dave is round. Fiona is furry. Fiona is nice. Fiona is red. If something is rough and red then it is furry. All round things are furry. All furry things are nice. If something is red and not cold then it is not round. If something is nice and red then it is not round. If something is white and not red then it is rough.
Dave is nice.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Charlie is not rough.[(triple3)] Dave is round.[(triple4)] Fiona is furry.[(triple5)] Fiona is nice.[(triple6 OR ((triple5) -> rule3))] Fiona is red.[(triple7)] @1: Dave is furry.[(((triple4) -> rule2))] Fiona is not round.[(((triple6 triple7) -> rule5) OR ((((triple5) -> rule3) triple7) -> rule5))] @2: Dave is nice.[(((((triple4) -> rule2)) -> rule3))]