Charlie is nice. Erin is nice. Fiona is red. Kind, white things are furry. All red things are furry. Quiet, red things are furry. If something is quiet and not round then it is not furry. All kind things are quiet. If something is nice then it is quiet. All furry things are kind. All furry things are nice.
Fiona is white.
@0: Charlie is nice.[(triple1)] Erin is nice.[(triple2)] Fiona is red.[(triple3)] @1: Charlie is quiet.[(((triple1) -> rule6))] Erin is quiet.[(((triple2) -> rule6))] Fiona is furry.[(((triple3) -> rule2))] @2: Fiona is kind.[(((((triple3) -> rule2)) -> rule7))] Fiona is nice.[(((((triple3) -> rule2)) -> rule8))] @3: Fiona is quiet.[(((((((triple3) -> rule2)) -> rule7)) -> rule5) OR ((((((triple3) -> rule2)) -> rule8)) -> rule6))]