Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is round. All cold, green things are quiet. All green things are big.
Bob is not big.
@0: Bob is big.[(triple1 OR ((triple4) -> rule2))] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is quiet.[(triple5 OR ((triple2 triple4) -> rule1))] Bob is red.[(triple6)] Bob is round.[(triple7)]