Bob is cold. Bob is furry. Bob is red. Bob is not round. Bob is smart. Bob is young. Erin is big. Erin is furry. Erin is red. Erin is young. Harry is big. Harry is cold. Harry is furry. Harry is red. Harry is round. Harry is smart. If something is red and not round then it is smart. If something is big and not furry then it is red.
Harry is young.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is not round.[(triple4)] Bob is red.[(triple3)] Bob is smart.[(triple5 OR ((triple3 triple4) -> rule1))] Bob is young.[(triple6)] Erin is big.[(triple7)] Erin is furry.[(triple8)] Erin is red.[(triple9)] Erin is young.[(triple10)] Harry is big.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is red.[(triple14)] Harry is round.[(triple15)] Harry is smart.[(triple16)]