Bob is blue. Bob is green. Bob is quiet. Bob is rough. Bob is round. Bob is smart. Bob is white. If someone is green and round then they are blue. If Bob is smart and Bob is white then Bob is quiet. All rough people are green.
Bob is blue.
@0: Bob is blue.[(triple1 OR ((triple2 triple5) -> rule1) OR ((((triple4) -> rule3) triple5) -> rule1))] Bob is green.[(triple2 OR ((triple4) -> rule3))] Bob is quiet.[(triple3 OR ((triple6 triple7) -> rule2))] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7)]