Bob is smart. Bob is young. Dave is cold. Dave is kind. Dave is quiet. Dave is white. Dave is young. Fiona is rough. Fiona is smart. Gary is white. Rough people are young. If Fiona is cold and Fiona is smart then Fiona is young. Rough, white people are cold.
Bob is young.
@0: Bob is smart.[(triple1)] Bob is young.[(triple2)] Dave is cold.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] Fiona is rough.[(triple8)] Fiona is smart.[(triple9)] Gary is white.[(triple10)] @1: Fiona is young.[(((triple8) -> rule1))]