Charlie is kind. Fiona is kind. Fiona is quiet. Gary is kind. Gary is nice. Gary is quiet. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. If someone is quiet then they are round. If someone is rough and round then they are furry. All round, kind people are furry.
Fiona is furry.
@0: Charlie is kind.[(triple1)] Fiona is kind.[(triple2)] Fiona is quiet.[(triple3)] Gary is kind.[(triple4)] Gary is nice.[(triple5)] Gary is quiet.[(triple6)] Harry is furry.[(triple7 OR ((triple10 ((triple9) -> rule1)) -> rule2) OR ((((triple9) -> rule1) triple8) -> rule3))] Harry is kind.[(triple8)] Harry is quiet.[(triple9)] Harry is rough.[(triple10)] @1: Fiona is round.[(((triple3) -> rule1))] Gary is round.[(((triple6) -> rule1))] Harry is round.[(((triple9) -> rule1))] @2: Fiona is furry.[(((((triple3) -> rule1) triple2) -> rule3))] Gary is furry.[(((((triple6) -> rule1) triple4) -> rule3))]