Bob is cold. Bob is nice. Bob is quiet. Bob is young. Dave is not cold. Dave is nice. Dave is not smart. Fiona is big. Fiona is not nice. Fiona is smart. Quiet people are cold. If someone is nice and not big then they are not young.
Bob is quiet.
@0: Bob is cold.[(triple1 OR ((triple3) -> rule1))] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is young.[(triple4)] Dave is nice.[(triple6)] Dave is not cold.[(triple5)] Dave is not smart.[(triple7)] Fiona is big.[(triple8)] Fiona is not nice.[(triple9)] Fiona is smart.[(triple10)]