Anne is green. Anne is nice. Anne is rough. Anne is smart. Bob is green. Bob is nice. Bob is quiet. Bob is rough. Bob is round. Bob is smart. If someone is smart then they are big. All rough, big people are smart. If someone is round then they are big.
Bob is not nice.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Bob is green.[(triple5)] Bob is nice.[(triple6)] Bob is quiet.[(triple7)] Bob is rough.[(triple8)] Bob is round.[(triple9)] Bob is smart.[(triple10 OR ((triple8 ((triple9) -> rule3)) -> rule2))] @1: Anne is big.[(((triple4) -> rule1))] Bob is big.[(((triple10) -> rule1) OR ((triple9) -> rule3))]