Bob is big. Bob is blue. Bob is quiet. Bob is red. Fiona is quiet. Harry is cold. Harry is green. All big things are quiet. If Fiona is quiet and Fiona is big then Fiona is young.
Harry is not quiet.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is quiet.[(triple3 OR ((triple1) -> rule1))] Bob is red.[(triple4)] Fiona is quiet.[(triple5)] Harry is cold.[(triple6)] Harry is green.[(triple7)]