Bob is blue. Bob is cold. Bob is kind. Bob is red. Bob is young. Dave is cold. Dave is quiet. Dave is red. Dave is smart. Dave is young. Erin is red. Erin is young. Harry is cold. Harry is kind. Harry is smart. All blue things are kind.
Bob is young.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3 OR ((triple1) -> rule1))] Bob is red.[(triple4)] Bob is young.[(triple5)] Dave is cold.[(triple6)] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Dave is smart.[(triple9)] Dave is young.[(triple10)] Erin is red.[(triple11)] Erin is young.[(triple12)] Harry is cold.[(triple13)] Harry is kind.[(triple14)] Harry is smart.[(triple15)]