Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is red. Dave is blue. Dave is cold. Dave is young. Gary is blue. Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is red. Harry is young. If something is cold then it is kind.
Harry is young.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is nice.[(triple4)] Bob is red.[(triple5)] Dave is blue.[(triple6)] Dave is cold.[(triple7)] Dave is young.[(triple8)] Gary is blue.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is kind.[(triple12 OR ((triple10) -> rule1))] Harry is nice.[(triple13)] Harry is red.[(triple14)] Harry is young.[(triple15)] @1: Bob is kind.[(((triple2) -> rule1))] Dave is kind.[(((triple7) -> rule1))]