Bob is not green. Erin is round. Fiona is round. Harry is not kind. If something is green then it is furry. Round, nice things are quiet. If Erin is quiet and Erin is blue then Erin is furry. If something is nice then it is not round. If Erin is nice and Erin is round then Erin is not green. Round things are blue. All round things are green. Furry things are not nice.
Fiona is furry.
@0: Bob is not green.[(triple1)] Erin is round.[(triple2)] Fiona is round.[(triple3)] Harry is not kind.[(triple4)] @1: Erin is blue.[(((triple2) -> rule6))] Erin is green.[(((triple2) -> rule7))] Fiona is blue.[(((triple3) -> rule6))] Fiona is green.[(((triple3) -> rule7))] @2: Erin is furry.[(((((triple2) -> rule7)) -> rule1))] Fiona is furry.[(((((triple3) -> rule7)) -> rule1))] @3: Erin is not nice.[(((((((triple2) -> rule7)) -> rule1)) -> rule8))] Fiona is not nice.[(((((((triple3) -> rule7)) -> rule1)) -> rule8))]