Bob is cold. Bob is furry. Bob is quiet. Red, cold things are big. All smart, cold things are furry. If Bob is red then Bob is big. If something is red then it is big. All furry things are big. If Bob is smart then Bob is cold. All cold, quiet things are red. If Bob is furry and Bob is smart then Bob is quiet.
Bob is smart.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is quiet.[(triple3)] @1: Bob is big.[(((triple2) -> rule5) OR ((((triple1 triple3) -> rule7)) -> rule3) OR ((((triple1 triple3) -> rule7)) -> rule4) OR ((((triple1 triple3) -> rule7) triple1) -> rule1))] Bob is red.[(((triple1 triple3) -> rule7))]