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