Bob is kind. Bob is rough. Charlie is kind. Charlie is red. Fiona is smart. Harry is smart. Harry is white. All blue, white people are kind. All white, cold people are kind. All kind, cold people are not smart. All white people are blue. All rough people are cold. Kind, cold people are rough. All cold people are white. All rough people are red.
Charlie is red.
@0: Bob is kind.[(triple1 OR ((((((triple2) -> rule5)) -> rule7) ((triple2) -> rule5)) -> rule2) OR ((((((((triple2) -> rule5)) -> rule7)) -> rule4) ((((triple2) -> rule5)) -> rule7)) -> rule1))] Bob is rough.[(triple2)] Charlie is kind.[(triple3)] Charlie is red.[(triple4)] Fiona is smart.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)] @1: Bob is cold.[(((triple2) -> rule5))] Bob is red.[(((triple2) -> rule8))] Harry is blue.[(((triple7) -> rule4))] @2: Bob is not smart.[(((triple1 ((triple2) -> rule5)) -> rule3) OR ((((((((triple2) -> rule5)) -> rule7) ((triple2) -> rule5)) -> rule2) ((triple2) -> rule5)) -> rule3) OR ((((((((((triple2) -> rule5)) -> rule7)) -> rule4) ((((triple2) -> rule5)) -> rule7)) -> rule1) ((triple2) -> rule5)) -> rule3))] Bob is white.[(((((triple2) -> rule5)) -> rule7))] Harry is kind.[(((((triple7) -> rule4) triple7) -> rule1))] @3: Bob is blue.[(((((((triple2) -> rule5)) -> rule7)) -> rule4))]