Bob is green. Bob is smart. Bob is white. Dave is kind. Dave is rough. Dave is round. Dave is white. If someone is white then they are smart. If Bob is smart and Bob is green then Bob is kind. If Dave is white and Dave is red then Dave is smart. All red, rough people are smart. If someone is white and round then they are rough. If someone is red then they are kind.
Bob is round.
@0: Bob is green.[(triple1)] Bob is smart.[(triple2 OR ((triple3) -> rule1))] Bob is white.[(triple3)] Dave is kind.[(triple4)] Dave is rough.[(triple5 OR ((triple7 triple6) -> rule5))] Dave is round.[(triple6)] Dave is white.[(triple7)] @1: Bob is kind.[(((triple2 triple1) -> rule2) OR ((((triple3) -> rule1) triple1) -> rule2))] Dave is smart.[(((triple7) -> rule1))]