Bob is cold. Bob is kind. Bob is quiet. Erin is furry. Erin is round. Fiona is kind. Harry is furry. All round people are blue. Kind people are quiet. All quiet people are furry.
Fiona is not furry.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3 OR ((triple2) -> rule2))] Erin is furry.[(triple4)] Erin is round.[(triple5)] Fiona is kind.[(triple6)] Harry is furry.[(triple7)] @1: Bob is furry.[(((triple3) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] Erin is blue.[(((triple5) -> rule1))] Fiona is quiet.[(((triple6) -> rule2))] @2: Fiona is furry.[(((((triple6) -> rule2)) -> rule3))]