Bob is blue. Bob is cold. Bob is white. Charlie is big. Charlie is kind. Charlie is nice. Charlie is round. If someone is cold then they are white. If Bob is blue and Bob is kind then Bob is white. If someone is cold then they are round. White, kind people are blue. Cold people are round. Kind people are cold.
Charlie is not cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is white.[(triple3 OR ((triple2) -> rule1))] Charlie is big.[(triple4)] Charlie is kind.[(triple5)] Charlie is nice.[(triple6)] Charlie is round.[(triple7 OR ((((triple5) -> rule6)) -> rule3) OR ((((triple5) -> rule6)) -> rule5))] @1: Bob is round.[(((triple2) -> rule3) OR ((triple2) -> rule5))] Charlie is cold.[(((triple5) -> rule6))] @2: Charlie is white.[(((((triple5) -> rule6)) -> rule1))] @3: Charlie is blue.[(((((((triple5) -> rule6)) -> rule1) triple5) -> rule4))]