Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is white. All big, smart people are white. If someone is white then they are rough.
Fiona is big.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is kind.[(triple4)] Fiona is rough.[(triple5 OR ((triple7) -> rule2) OR ((((triple1 triple6) -> rule1)) -> rule2))] Fiona is smart.[(triple6)] Fiona is white.[(triple7 OR ((triple1 triple6) -> rule1))]