Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is rough. Anne is white. Erin is blue. Erin is furry. Erin is round. Erin is white. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. Fiona is white. Kind people are blue.
Fiona is round.
@0: Anne is blue.[(triple1 OR ((triple4) -> rule1))] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6)] Erin is blue.[(triple7)] Erin is furry.[(triple8)] Erin is round.[(triple9)] Erin is white.[(triple10)] Fiona is green.[(triple11)] Fiona is kind.[(triple12)] Fiona is rough.[(triple13)] Fiona is round.[(triple14)] Fiona is white.[(triple15)] @1: Fiona is blue.[(((triple12) -> rule1))]