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