Anne is rough. Dave is big. Gary is nice. If someone is red then they are nice. Rough, young people are nice. If Anne is rough and Anne is big then Anne is nice. If someone is young then they are rough. All big, smart people are red. If someone is young then they are red. If Dave is kind then Dave is smart. All nice people are smart.
Gary is kind.
@0: Anne is rough.[(triple1)] Dave is big.[(triple2)] Gary is nice.[(triple3)] @1: Gary is smart.[(((triple3) -> rule8))]