Anne is nice. Charlie is nice. If someone is blue and rough then they are red. All red, blue people are furry. All nice people are white. If someone is rough then they are smart. If someone is rough and nice then they are white. If someone is smart then they are red. All smart people are blue. If Anne is blue then Anne is furry.
Charlie is rough.
@0: Anne is nice.[(triple1)] Charlie is nice.[(triple2)] @1: Anne is white.[(((triple1) -> rule3))] Charlie is white.[(((triple2) -> rule3))]