Charlie is rough. Fiona is round. Gary is kind. Rough people are furry. If someone is rough then they are furry. If Gary is blue then Gary is nice. If Gary is cold and Gary is round then Gary is blue. If Charlie is nice and Charlie is kind then Charlie is blue. If someone is round then they are kind.
Charlie is not rough.
@0: Charlie is rough.[(triple1)] Fiona is round.[(triple2)] Gary is kind.[(triple3)] @1: Charlie is furry.[(((triple1) -> rule1) OR ((triple1) -> rule2))] Fiona is kind.[(((triple2) -> rule6))]