Bob is big. Charlie is big. Dave is big. Dave is quiet. Dave is rough. Dave is round. Erin is furry. Erin is quiet. Erin is rough. Erin is young. All furry, rough people are round. If Erin is round then Erin is rough.
Dave is round.
@0: Bob is big.[(triple1)] Charlie is big.[(triple2)] Dave is big.[(triple3)] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Erin is furry.[(triple7)] Erin is quiet.[(triple8)] Erin is rough.[(triple9)] Erin is young.[(triple10)] @1: Erin is round.[(((triple7 triple9) -> rule1))]