Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is round. Bob is white. If someone is green then they are quiet. If someone is round and kind then they are green.
Bob is quiet.
@0: Bob is green.[(triple1 OR ((triple6 triple2) -> rule2))] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4 OR ((triple1) -> rule1) OR ((((triple6 triple2) -> rule2)) -> rule1))] Bob is red.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7)]