Bob is big. Bob is smart. Bob is white. Erin is big. Erin is furry. Erin is green. Erin is quiet. Erin is smart. Erin is white. Erin is young. All green things are young. If Bob is big and Bob is green then Bob is quiet.
Erin is not smart.
@0: Bob is big.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] Erin is big.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6)] Erin is quiet.[(triple7)] Erin is smart.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10 OR ((triple6) -> rule1))]