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