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