Bob is nice. Bob is white. Charlie is cold. Charlie is kind. Charlie is red. Harry is big. Harry is not kind. Harry is nice. Harry is not red. Harry is not white. If Charlie is red then Charlie is white. Big people are furry. White people are red. Big people are nice. Red people are big. If someone is cold and not big then they are kind.
Charlie is not furry.
@0: Bob is nice.[(triple1 OR ((((((triple2) -> rule3)) -> rule5)) -> rule4))] Bob is white.[(triple2)] Charlie is cold.[(triple3)] Charlie is kind.[(triple4)] Charlie is red.[(triple5)] Harry is big.[(triple6)] Harry is nice.[(triple8 OR ((triple6) -> rule4))] Harry is not kind.[(triple7)] Harry is not red.[(triple9)] Harry is not white.[(triple10)] @1: Bob is red.[(((triple2) -> rule3))] Charlie is big.[(((triple5) -> rule5))] Charlie is white.[(((triple5) -> rule1))] Harry is furry.[(((triple6) -> rule2))] @2: Bob is big.[(((((triple2) -> rule3)) -> rule5))] Charlie is furry.[(((((triple5) -> rule5)) -> rule2))] Charlie is nice.[(((((triple5) -> rule5)) -> rule4))] @3: Bob is furry.[(((((((triple2) -> rule3)) -> rule5)) -> rule2))]