Charlie is big. Charlie is not blue. Charlie is not green. Charlie is quiet. Charlie is rough. Charlie is not smart. Fiona is big. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is not smart. Gary is nice. Gary is quiet. Gary is rough. Gary is smart. If something is blue then it is quiet. If something is blue and not nice then it is not quiet. Nice things are blue. If something is nice and quiet then it is blue. If something is smart then it is big. If something is green and not smart then it is big. If Charlie is green and Charlie is not smart then Charlie is rough. Big things are not green.
Fiona is not blue.
@0: Charlie is big.[(triple1)] Charlie is not blue.[(triple2)] Charlie is not green.[(triple3 OR ((triple1) -> rule8))] Charlie is not smart.[(triple6)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Fiona is big.[(triple7)] Fiona is nice.[(triple8)] Fiona is not smart.[(triple11)] Fiona is quiet.[(triple9 OR ((((triple8) -> rule3)) -> rule1))] Fiona is rough.[(triple10)] Gary is nice.[(triple12)] Gary is quiet.[(triple13 OR ((((triple12) -> rule3)) -> rule1))] Gary is rough.[(triple14)] Gary is smart.[(triple15)] @1: Fiona is blue.[(((triple8) -> rule3) OR ((triple8 triple9) -> rule4))] Fiona is not green.[(((triple7) -> rule8))] Gary is big.[(((triple15) -> rule5))] Gary is blue.[(((triple12) -> rule3) OR ((triple12 triple13) -> rule4))] @2: Gary is not green.[(((((triple15) -> rule5)) -> rule8))]