Erin is big. Erin is blue. Erin is nice. Erin is not white. Gary is big. Gary is not blue. Gary is cold. Gary is nice. Gary is rough. Harry is not blue. If Harry is not white then Harry is not blue. If Erin is cold then Erin is furry. White things are not nice. All cold, white things are big. If something is blue then it is big. If Erin is nice then Erin is cold. If something is rough and not big then it is furry. If something is furry then it is not rough.
Erin is not furry.
@0: Erin is big.[(triple1 OR ((triple2) -> rule5))] Erin is blue.[(triple2)] Erin is nice.[(triple3)] Erin is not white.[(triple4)] Gary is big.[(triple5)] Gary is cold.[(triple7)] Gary is nice.[(triple8)] Gary is not blue.[(triple6)] Gary is rough.[(triple9)] Harry is not blue.[(triple10)] @1: Erin is cold.[(((triple3) -> rule6))] @2: Erin is furry.[(((((triple3) -> rule6)) -> rule2))] @3: Erin is not rough.[(((((((triple3) -> rule6)) -> rule2)) -> rule8))]