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