Bob is big. Bob is blue. Bob is quiet. Bob is red. Bob is round. Charlie is big. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is round. If Charlie is quiet then Charlie is white. If Bob is quiet and Bob is blue then Bob is round.
Bob is big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5 OR ((triple3 triple2) -> rule2))] Charlie is big.[(triple6)] Charlie is kind.[(triple7)] Charlie is quiet.[(triple8)] Charlie is red.[(triple9)] Charlie is round.[(triple10)] @1: Charlie is white.[(((triple8) -> rule1))]