Bob is smart. Dave is nice. Dave is not red. Gary is rough. Gary is not smart. Gary is young. Harry is cold. All young, rough things are red. All quiet things are red. If something is quiet then it is young.
Dave is rough.
@0: Bob is smart.[(triple1)] Dave is nice.[(triple2)] Dave is not red.[(triple3)] Gary is not smart.[(triple5)] Gary is rough.[(triple4)] Gary is young.[(triple6)] Harry is cold.[(triple7)] @1: Gary is red.[(((triple6 triple4) -> rule1))]