Anne is big. Bob is smart. Charlie is rough. Harry is smart. If Anne is red then Anne is round. If someone is smart then they are round.
Charlie is not rough.
@0: Anne is big.[(triple1)] Bob is smart.[(triple2)] Charlie is rough.[(triple3)] Harry is smart.[(triple4)] @1: Bob is round.[(((triple2) -> rule2))] Harry is round.[(((triple4) -> rule2))]