Charlie is furry. Charlie is nice. Charlie is quiet. Dave is big. Dave is rough. Dave is not round. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is white. Gary is round. Gary is white. If someone is white then they are quiet. All big, round people are furry. If Charlie is rough and Charlie is quiet then Charlie is not round. If Gary is not round then Gary is white. All furry people are not rough. All round, furry people are rough. If Fiona is white then Fiona is not round. If Fiona is quiet then Fiona is not round.
Gary is not round.
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3)] Dave is big.[(triple4)] Dave is not round.[(triple6)] Dave is rough.[(triple5)] Fiona is nice.[(triple7)] Fiona is quiet.[(triple8 OR ((triple10) -> rule1))] Fiona is rough.[(triple9)] Fiona is white.[(triple10)] Gary is round.[(triple11)] Gary is white.[(triple12)] @1: Charlie is not rough.[(((triple1) -> rule5))] Fiona is not round.[(((triple10) -> rule7) OR ((triple8) -> rule8) OR ((((triple10) -> rule1)) -> rule8))] Gary is quiet.[(((triple12) -> rule1))]