Erin is blue. Erin is green. Erin is quiet. Fiona is furry. Fiona is not green. Fiona is not nice. Fiona is round. If something is nice then it is green. If something is quiet and furry then it is green. Green, blue things are furry. If something is nice and not green then it is round. If something is furry and not blue then it is not round. Green things are white. Round things are not white. If something is round and not quiet then it is white.
Erin is blue.
@0: Erin is blue.[(triple1)] Erin is green.[(triple2)] Erin is quiet.[(triple3)] Fiona is furry.[(triple4)] Fiona is not green.[(triple5)] Fiona is not nice.[(triple6)] Fiona is round.[(triple7)] @1: Erin is furry.[(((triple2 triple1) -> rule3))] Erin is white.[(((triple2) -> rule6))] Fiona is not white.[(((triple7) -> rule7))]