Anne is rough. Bob is red. Dave is red. Dave is smart. Erin is not big. Erin is red. Erin is rough. If something is red then it is round. If something is cold and not round then it is rough.
Dave is not rough.
@0: Anne is rough.[(triple1)] Bob is red.[(triple2)] Dave is red.[(triple3)] Dave is smart.[(triple4)] Erin is not big.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7)] @1: Bob is round.[(((triple2) -> rule1))] Dave is round.[(((triple3) -> rule1))] Erin is round.[(((triple6) -> rule1))]