Bob is big. Bob is smart. Bob is white. Bob is young. Charlie is big. Charlie is cold. Dave is cold. Erin is big. Erin is rough. Erin is smart. If Erin is rough then Erin is cold. If Bob is white then Bob is big.
Bob is smart.
@0: Bob is big.[(triple1 OR ((triple3) -> rule2))] Bob is smart.[(triple2)] Bob is white.[(triple3)] Bob is young.[(triple4)] Charlie is big.[(triple5)] Charlie is cold.[(triple6)] Dave is cold.[(triple7)] Erin is big.[(triple8)] Erin is rough.[(triple9)] Erin is smart.[(triple10)] @1: Erin is cold.[(((triple9) -> rule1))]