Bob is blue. Gary is blue. Gary is smart. If someone is smart then they are not round. If someone is furry and not quiet then they are not cold. Smart, round people are cold. All smart people are big. If someone is blue then they are smart. If Gary is blue and Gary is furry then Gary is big.
Bob is big.
@0: Bob is blue.[(triple1)] Gary is blue.[(triple2)] Gary is smart.[(triple3 OR ((triple2) -> rule5))] @1: Bob is smart.[(((triple1) -> rule5))] Gary is big.[(((triple3) -> rule4) OR ((((triple2) -> rule5)) -> rule4))] Gary is not round.[(((triple3) -> rule1) OR ((((triple2) -> rule5)) -> rule1))] @2: Bob is big.[(((((triple1) -> rule5)) -> rule4))] Bob is not round.[(((((triple1) -> rule5)) -> rule1))]