Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is quiet. Bob is red. Bob is white. Harry is blue. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is red. Harry is white. All quiet things are white.
Harry is not red.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Bob is white.[(triple7 OR ((triple5) -> rule1))] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is nice.[(triple11)] Harry is quiet.[(triple12)] Harry is red.[(triple13)] Harry is white.[(triple14 OR ((triple12) -> rule1))]