Bob is big. Bob is blue. Bob is not furry. Bob is green. Bob is round. Bob is white. Bob is young. Charlie is not big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is round. Charlie is not white. Charlie is not young. White things are round. Green things are round. All green things are blue. If something is round and furry then it is not young. If Charlie is big then Charlie is green. If Charlie is white then Charlie is big.
Charlie is not young.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple4) -> rule3))] Bob is green.[(triple4)] Bob is not furry.[(triple3)] Bob is round.[(triple5 OR ((triple4) -> rule2) OR ((triple6) -> rule1))] Bob is white.[(triple6)] Bob is young.[(triple7)] Charlie is blue.[(triple9 OR ((triple11) -> rule3))] Charlie is furry.[(triple10)] Charlie is green.[(triple11)] Charlie is not big.[(triple8)] Charlie is not white.[(triple13)] Charlie is not young.[(triple14 OR ((triple12 triple10) -> rule4) OR ((((triple11) -> rule2) triple10) -> rule4))] Charlie is round.[(triple12 OR ((triple11) -> rule2))]