Anne is big. Anne is blue. Anne is kind. Anne is quiet. Anne is young. Bob is big. Bob is kind. Bob is young. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is quiet. Harry is young. If Bob is quiet and Bob is kind then Bob is blue. If someone is quiet then they are young.
Bob is not blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is young.[(triple5 OR ((triple4) -> rule2))] Bob is big.[(triple6)] Bob is kind.[(triple7)] Bob is young.[(triple8)] Harry is big.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is kind.[(triple13)] Harry is quiet.[(triple14)] Harry is young.[(triple15 OR ((triple14) -> rule2))]