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