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