Bob is big. Bob is quiet. Bob is rough. Bob is white. Dave is big. Dave is kind. Dave is quiet. Dave is rough. Dave is white. Erin is nice. Erin is quiet. Erin is smart. If Bob is quiet and Bob is rough then Bob is kind.
Erin is nice.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is white.[(triple4)] Dave is big.[(triple5)] Dave is kind.[(triple6)] Dave is quiet.[(triple7)] Dave is rough.[(triple8)] Dave is white.[(triple9)] Erin is nice.[(triple10)] Erin is quiet.[(triple11)] Erin is smart.[(triple12)] @1: Bob is kind.[(((triple2 triple3) -> rule1))]