Anne is big. Bob is round. Quiet things are kind. If something is big then it is red. All kind, red things are rough. If Bob is round then Bob is smart. If something is round then it is kind. Rough, red things are kind.
Bob is round.
@0: Anne is big.[(triple1)] Bob is round.[(triple2)] @1: Anne is red.[(((triple1) -> rule2))] Bob is kind.[(((triple2) -> rule5))] Bob is smart.[(((triple2) -> rule4))]