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