Fiona is big. Fiona is not green. Fiona is red. Fiona is not rough. Fiona is round. Fiona is smart. Fiona is white. Harry is not big. Harry is not green. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is not white. If Harry is big then Harry is rough. Green people are white. Red, white people are big.
Harry is white.
@0: Fiona is big.[(triple1 OR ((triple3 triple7) -> rule3))] Fiona is not green.[(triple2)] Fiona is not rough.[(triple4)] Fiona is red.[(triple3)] Fiona is round.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7)] Harry is not big.[(triple8)] Harry is not green.[(triple9)] Harry is not white.[(triple14)] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12)] Harry is smart.[(triple13)]