Anne is round. Bob is smart. Charlie is round. Dave is young. If Anne is round and Anne is smart then Anne is kind. All smart things are red. Smart things are red. All round, young things are kind. All quiet things are smart. All kind things are quiet.
Bob is smart.
@0: Anne is round.[(triple1)] Bob is smart.[(triple2)] Charlie is round.[(triple3)] Dave is young.[(triple4)] @1: Bob is red.[(((triple2) -> rule2) OR ((triple2) -> rule3))]