Charlie is not nice. Charlie is not quiet. Charlie is rough. Charlie is white. Dave is not kind. Dave is nice. Dave is quiet. Dave is rough. Dave is smart. Dave is not white. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is white. Harry is rough. White things are kind. If something is smart and not nice then it is kind. If something is kind then it is not big. If something is kind and nice then it is rough. Big, rough things are quiet. All nice, white things are quiet. All white things are not smart. Big things are smart.
Fiona is rough.
@0: Charlie is not nice.[(triple1)] Charlie is not quiet.[(triple2)] Charlie is rough.[(triple3)] Charlie is white.[(triple4)] Dave is nice.[(triple6)] Dave is not kind.[(triple5)] Dave is not white.[(triple10)] Dave is quiet.[(triple7)] Dave is rough.[(triple8)] Dave is smart.[(triple9)] Fiona is kind.[(triple11 OR ((triple15) -> rule1))] Fiona is nice.[(triple12)] Fiona is quiet.[(triple13 OR ((triple12 triple15) -> rule6))] Fiona is rough.[(triple14 OR ((triple11 triple12) -> rule4) OR ((((triple15) -> rule1) triple12) -> rule4))] Fiona is white.[(triple15)] Harry is rough.[(triple16)] @1: Charlie is kind.[(((triple4) -> rule1))] Charlie is not smart.[(((triple4) -> rule7))] Fiona is not big.[(((triple11) -> rule3) OR ((((triple15) -> rule1)) -> rule3))] Fiona is not smart.[(((triple15) -> rule7))] @2: Charlie is not big.[(((((triple4) -> rule1)) -> rule3))]