Bob is red. Bob is round. Bob is smart. Dave is cold. Dave is kind. Dave is red. Dave is round. Erin is cold. Erin is kind. Erin is red. Erin is rough. Erin is smart. Round, rough things are cold. All cold, red things are rough.
Bob is kind.
@0: Bob is red.[(triple1)] Bob is round.[(triple2)] Bob is smart.[(triple3)] Dave is cold.[(triple4)] Dave is kind.[(triple5)] Dave is red.[(triple6)] Dave is round.[(triple7)] Erin is cold.[(triple8)] Erin is kind.[(triple9)] Erin is red.[(triple10)] Erin is rough.[(triple11 OR ((triple8 triple10) -> rule2))] Erin is smart.[(triple12)] @1: Dave is rough.[(((triple4 triple6) -> rule2))]