Charlie is blue. Charlie is cold. Charlie is rough. All big, white people are cold. All furry, round people are white. If someone is big then they are cold. Big, white people are round. If Charlie is blue then Charlie is white. Furry, big people are round. White people are big. All round, white people are rough.
Charlie is not white.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((((((triple1) -> rule5)) -> rule7)) -> rule3) OR ((((((triple1) -> rule5)) -> rule7) ((triple1) -> rule5)) -> rule1))] Charlie is rough.[(triple3 OR ((((((((triple1) -> rule5)) -> rule7) ((triple1) -> rule5)) -> rule4) ((triple1) -> rule5)) -> rule8))] @1: Charlie is white.[(((triple1) -> rule5))] @2: Charlie is big.[(((((triple1) -> rule5)) -> rule7))] @3: Charlie is round.[(((((((triple1) -> rule5)) -> rule7) ((triple1) -> rule5)) -> rule4))]