Charlie is blue. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. Erin is furry. Erin is nice. Erin is smart. Erin is white. Gary is not blue. Gary is nice. Gary is red. Gary is white. Harry is furry. Harry is nice. Harry is not red. Nice people are smart. All nice people are smart.
Charlie is round.
@0: Charlie is blue.[(triple1)] Charlie is nice.[(triple2)] Charlie is red.[(triple3)] Charlie is smart.[(triple4 OR ((triple2) -> rule1) OR ((triple2) -> rule2))] Charlie is white.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Erin is smart.[(triple8 OR ((triple7) -> rule1) OR ((triple7) -> rule2))] Erin is white.[(triple9)] Gary is nice.[(triple11)] Gary is not blue.[(triple10)] Gary is red.[(triple12)] Gary is white.[(triple13)] Harry is furry.[(triple14)] Harry is nice.[(triple15)] Harry is not red.[(triple16)] @1: Gary is smart.[(((triple11) -> rule1) OR ((triple11) -> rule2))] Harry is smart.[(((triple15) -> rule1) OR ((triple15) -> rule2))]