Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is red. Erin is rough. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is red. Fiona is rough. Fiona is round. If something is red and round then it is furry. If Fiona is red then Fiona is furry.
Fiona is furry.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Fiona is blue.[(triple7)] Fiona is furry.[(triple8 OR ((triple10) -> rule2) OR ((triple10 triple12) -> rule1))] Fiona is kind.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is round.[(triple12)]