Anne is not big. Anne is cold. Anne is quiet. Bob is nice. Bob is quiet. Dave is not big. Dave is cold. Dave is quiet. Erin is furry. Erin is nice. Erin is not quiet. Erin is white. Nice, quiet things are rough. Rough things are nice. All nice things are big.
Dave is not nice.
@0: Anne is cold.[(triple2)] Anne is not big.[(triple1)] Anne is quiet.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Dave is cold.[(triple7)] Dave is not big.[(triple6)] Dave is quiet.[(triple8)] Erin is furry.[(triple9)] Erin is nice.[(triple10)] Erin is not quiet.[(triple11)] Erin is white.[(triple12)] @1: Bob is big.[(((triple4) -> rule3))] Bob is rough.[(((triple4 triple5) -> rule1))] Erin is big.[(((triple10) -> rule3))]