Charlie is nice. Dave is not big. Erin is nice. Erin is rough. Erin is smart. Erin is white. Gary is big. Rough things are smart. If something is white and not cold then it is not smart. Big things are not smart. If Erin is white and Erin is cold then Erin is nice. If something is smart then it is white. If something is blue then it is nice.
Erin is smart.
@0: Charlie is nice.[(triple1)] Dave is not big.[(triple2)] Erin is nice.[(triple3)] Erin is rough.[(triple4)] Erin is smart.[(triple5 OR ((triple4) -> rule1))] Erin is white.[(triple6 OR ((triple5) -> rule5) OR ((((triple4) -> rule1)) -> rule5))] Gary is big.[(triple7)] @1: Gary is not smart.[(((triple7) -> rule3))]