Charlie is red. Charlie is rough. Erin is blue. Erin is cold. Erin is not kind. Erin is rough. Gary is big. Gary is red. Harry is blue. Harry is cold. Harry is kind. Harry is not round. If something is round then it is big. If Erin is big and Erin is not cold then Erin is kind. If Harry is big then Harry is kind. If something is kind and not cold then it is round. All big, blue things are round. If something is kind then it is not round. If something is kind and not round then it is not red. If something is round and not red then it is rough.
Harry is not big.
@0: Charlie is red.[(triple1)] Charlie is rough.[(triple2)] Erin is blue.[(triple3)] Erin is cold.[(triple4)] Erin is not kind.[(triple5)] Erin is rough.[(triple6)] Gary is big.[(triple7)] Gary is red.[(triple8)] Harry is blue.[(triple9)] Harry is cold.[(triple10)] Harry is kind.[(triple11)] Harry is not round.[(triple12 OR ((triple11) -> rule6))] @1: Harry is not red.[(((triple11 triple12) -> rule7) OR ((triple11 ((triple11) -> rule6)) -> rule7))]