Fiona is blue. Fiona is kind. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Fiona is white. All rough, red things are kind. All blue things are rough. Round things are red.
Fiona is rough.
@0: Fiona is blue.[(triple1)] Fiona is kind.[(triple2 OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple5) -> rule3)) -> rule1) OR ((((triple1) -> rule2) triple3) -> rule1) OR ((((triple1) -> rule2) ((triple5) -> rule3)) -> rule1))] Fiona is red.[(triple3 OR ((triple5) -> rule3))] Fiona is rough.[(triple4 OR ((triple1) -> rule2))] Fiona is round.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7)]