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