Erin is big. Erin is not blue. Erin is not kind. Erin is red. Harry is big. Harry is kind. Harry is rough. If Harry is blue then Harry is not red. If something is big and not rough then it is not kind. If something is big and not rough then it is kind. Furry things are kind. Rough, smart things are blue. Big, blue things are furry. All rough, kind things are not furry. If Harry is smart then Harry is kind.
Erin is blue.
@0: Erin is big.[(triple1)] Erin is not blue.[(triple2)] Erin is not kind.[(triple3)] Erin is red.[(triple4)] Harry is big.[(triple5)] Harry is kind.[(triple6)] Harry is rough.[(triple7)] @1: Harry is not furry.[(((triple7 triple6) -> rule7))]