Charlie is big. Charlie is blue. Charlie is nice. Fiona is big. Fiona is not blue. Fiona is furry. Fiona is kind. Fiona is not nice. Fiona is round. Fiona is not white. White people are blue. If Charlie is nice then Charlie is white. If Fiona is blue and Fiona is nice then Fiona is kind. If someone is kind and not white then they are furry. If Charlie is round then Charlie is not furry. If someone is nice and not white then they are big. White, big people are round. If someone is white then they are round.
Charlie is not round.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((((triple3) -> rule2)) -> rule1))] Charlie is nice.[(triple3)] Fiona is big.[(triple4)] Fiona is furry.[(triple6 OR ((triple7 triple10) -> rule4))] Fiona is kind.[(triple7)] Fiona is not blue.[(triple5)] Fiona is not nice.[(triple8)] Fiona is not white.[(triple10)] Fiona is round.[(triple9)] @1: Charlie is white.[(((triple3) -> rule2))] @2: Charlie is round.[(((((triple3) -> rule2)) -> rule8) OR ((((triple3) -> rule2) triple1) -> rule7))] @3: Charlie is not furry.[(((((((triple3) -> rule2)) -> rule8)) -> rule5) OR ((((((triple3) -> rule2) triple1) -> rule7)) -> rule5))]