Erin is furry. Erin is quiet. Erin is round. Erin is white. Fiona is quiet. Fiona is round. Fiona is smart. Gary is kind. Gary is nice. Harry is round. Harry is smart. Harry is white. If something is nice and round then it is smart. All furry things are quiet. Furry, nice things are kind. All nice things are smart. If something is smart then it is round. All round things are smart. If something is round and kind then it is white. If something is kind and white then it is furry.
Gary is not furry.
@0: Erin is furry.[(triple1)] Erin is quiet.[(triple2 OR ((triple1) -> rule2))] Erin is round.[(triple3)] Erin is white.[(triple4)] Fiona is quiet.[(triple5)] Fiona is round.[(triple6 OR ((triple7) -> rule5))] Fiona is smart.[(triple7 OR ((triple6) -> rule6))] Gary is kind.[(triple8)] Gary is nice.[(triple9)] Harry is round.[(triple10 OR ((triple11) -> rule5))] Harry is smart.[(triple11 OR ((triple10) -> rule6))] Harry is white.[(triple12)] @1: Erin is smart.[(((triple3) -> rule6))] Gary is smart.[(((triple9) -> rule4))] @2: Gary is round.[(((((triple9) -> rule4)) -> rule5))] @3: Gary is white.[(((((((triple9) -> rule4)) -> rule5) triple8) -> rule7))] @4: Gary is furry.[(((triple8 ((((((triple9) -> rule4)) -> rule5) triple8) -> rule7)) -> rule8))] @5: Gary is quiet.[(((((triple8 ((((((triple9) -> rule4)) -> rule5) triple8) -> rule7)) -> rule8)) -> rule2))]