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