Bob is big. Bob is not furry. Bob is not kind. Bob is not red. Bob is round. Bob is young. Charlie is big. Charlie is not furry. Charlie is kind. Charlie is red. Charlie is not round. Charlie is white. Harry is big. Harry is not furry. Harry is red. Harry is round. If someone is kind and not big then they are white. If someone is round then they are white. All young people are round.
Charlie is not round.
@0: Bob is big.[(triple1)] Bob is not furry.[(triple2)] Bob is not kind.[(triple3)] Bob is not red.[(triple4)] Bob is round.[(triple5 OR ((triple6) -> rule3))] Bob is young.[(triple6)] Charlie is big.[(triple7)] Charlie is kind.[(triple9)] Charlie is not furry.[(triple8)] Charlie is not round.[(triple11)] Charlie is red.[(triple10)] Charlie is white.[(triple12)] Harry is big.[(triple13)] Harry is not furry.[(triple14)] Harry is red.[(triple15)] Harry is round.[(triple16)] @1: Bob is white.[(((triple5) -> rule2) OR ((((triple6) -> rule3)) -> rule2))] Harry is white.[(((triple16) -> rule2))]