Bob is big. Bob is quiet. Bob is rough. Bob is round. Bob is white. Charlie is big. Charlie is not green. Charlie is nice. Charlie is rough. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. Gary is big. Gary is quiet. Gary is rough. If Fiona is rough and Fiona is not nice then Fiona is not big. Round people are big. If someone is nice and big then they are not white.
Fiona is green.
@0: Bob is big.[(triple1 OR ((triple4) -> rule2))] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5)] Charlie is big.[(triple6)] Charlie is nice.[(triple8)] Charlie is not green.[(triple7)] Charlie is rough.[(triple9)] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12)] Fiona is round.[(triple13)] Gary is big.[(triple14)] Gary is quiet.[(triple15)] Gary is rough.[(triple16)] @1: Charlie is not white.[(((triple8 triple6) -> rule3))] Fiona is big.[(((triple13) -> rule2))] @2: Fiona is not white.[(((triple10 ((triple13) -> rule2)) -> rule3))]