Bob is furry. Bob is kind. Bob is nice. Erin is big. Erin is furry. Erin is not kind. Erin is round. Harry is kind. Harry is nice. Harry is round. If someone is cold and not kind then they are not big. All nice, round people are furry. If Erin is furry then Erin is round.
Bob is big.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Erin is big.[(triple4)] Erin is furry.[(triple5)] Erin is not kind.[(triple6)] Erin is round.[(triple7 OR ((triple5) -> rule3))] Harry is kind.[(triple8)] Harry is nice.[(triple9)] Harry is round.[(triple10)] @1: Harry is furry.[(((triple9 triple10) -> rule2))]