Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is smart. Bob is white. Bob is young. Erin is furry. Erin is green. Erin is quiet. Erin is red. Erin is smart. Erin is white. Erin is young. If Erin is smart then Erin is quiet.
Erin is quiet.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is quiet.[(triple10 OR ((triple12) -> rule1))] Erin is red.[(triple11)] Erin is smart.[(triple12)] Erin is white.[(triple13)] Erin is young.[(triple14)]