Charlie is big. Charlie is green. Charlie is quiet. Charlie is round. Charlie is white. Erin is green. Erin is quiet. Erin is round. Erin is white. Fiona is big. Fiona is blue. Fiona is quiet. Fiona is round. Gary is green. Gary is quiet. Gary is round. If something is green then it is big. Green, quiet things are smart. If something is white then it is big. Green things are big. If Fiona is white then Fiona is smart. If something is green and blue then it is white.
Fiona is not white.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule1) OR ((triple2) -> rule4) OR ((triple5) -> rule3))] Charlie is green.[(triple2)] Charlie is quiet.[(triple3)] Charlie is round.[(triple4)] Charlie is white.[(triple5)] Erin is green.[(triple6)] Erin is quiet.[(triple7)] Erin is round.[(triple8)] Erin is white.[(triple9)] Fiona is big.[(triple10)] Fiona is blue.[(triple11)] Fiona is quiet.[(triple12)] Fiona is round.[(triple13)] Gary is green.[(triple14)] Gary is quiet.[(triple15)] Gary is round.[(triple16)] @1: Charlie is smart.[(((triple2 triple3) -> rule2))] Erin is big.[(((triple6) -> rule1) OR ((triple6) -> rule4) OR ((triple9) -> rule3))] Erin is smart.[(((triple6 triple7) -> rule2))] Gary is big.[(((triple14) -> rule1) OR ((triple14) -> rule4))] Gary is smart.[(((triple14 triple15) -> rule2))]