Fiona is furry. Fiona is quiet. Fiona is round. Gary is nice. Gary is rough. Harry is cold. Harry is green. Harry is quiet. Harry is rough. Harry is round. All quiet, cold people are rough. All green people are nice. Cold, quiet people are round. Nice, furry people are round. All green people are furry. Nice people are furry.
Gary is furry.
@0: Fiona is furry.[(triple1)] Fiona is quiet.[(triple2)] Fiona is round.[(triple3)] Gary is nice.[(triple4)] Gary is rough.[(triple5)] Harry is cold.[(triple6)] Harry is green.[(triple7)] Harry is quiet.[(triple8)] Harry is rough.[(triple9 OR ((triple8 triple6) -> rule1))] Harry is round.[(triple10 OR ((triple6 triple8) -> rule3) OR ((((triple7) -> rule2) ((triple7) -> rule5)) -> rule4) OR ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule6)) -> rule4))] @1: Gary is furry.[(((triple4) -> rule6))] Harry is furry.[(((triple7) -> rule5) OR ((((triple7) -> rule2)) -> rule6))] Harry is nice.[(((triple7) -> rule2))] @2: Gary is round.[(((triple4 ((triple4) -> rule6)) -> rule4))]