Bob is big. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is round. Charlie is big. Charlie is blue. Charlie is furry. Charlie is quiet. All red people are big.
Bob is blue.
@0: Bob is big.[(triple1 OR ((triple5) -> rule1))] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is round.[(triple6)] Charlie is big.[(triple7)] Charlie is blue.[(triple8)] Charlie is furry.[(triple9)] Charlie is quiet.[(triple10)]