Anne is nice. Anne is round. Bob is big. Bob is rough. Bob is round. Bob is smart. Charlie is not furry. Erin is not furry. Erin is not nice. Erin is rough. Erin is round. Erin is smart. If Bob is nice and Bob is big then Bob is not round. If something is round and not rough then it is nice. If something is big then it is not nice. All rough, nice things are big. If Anne is smart then Anne is furry. If something is furry and not smart then it is not white.
Bob is rough.
@0: Anne is nice.[(triple1)] Anne is round.[(triple2)] Bob is big.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Charlie is not furry.[(triple7)] Erin is not furry.[(triple8)] Erin is not nice.[(triple9)] Erin is rough.[(triple10)] Erin is round.[(triple11)] Erin is smart.[(triple12)] @1: Bob is not nice.[(((triple3) -> rule3))]