Bob is nice. Bob is young. Harry is big. Harry is blue. Harry is nice. Harry is red. Harry is young. If something is young then it is blue.
Harry is big.
@0: Bob is nice.[(triple1)] Bob is young.[(triple2)] Harry is big.[(triple3)] Harry is blue.[(triple4 OR ((triple7) -> rule1))] Harry is nice.[(triple5)] Harry is red.[(triple6)] Harry is young.[(triple7)] @1: Bob is blue.[(((triple2) -> rule1))]