Bob is quiet. Bob is white. Charlie is green. Charlie is quiet. Charlie is smart. Fiona is white. Harry is quiet. If someone is cold and smart then they are white. If someone is quiet then they are cold. White, smart people are kind. All quiet, red people are white. All smart, white people are kind. If someone is red and green then they are kind. Cold people are smart. If Bob is white then Bob is red.
Harry is not green.
@0: Bob is quiet.[(triple1)] Bob is white.[(triple2 OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule7)) -> rule1))] Charlie is green.[(triple3)] Charlie is quiet.[(triple4)] Charlie is smart.[(triple5 OR ((((triple4) -> rule2)) -> rule7))] Fiona is white.[(triple6)] Harry is quiet.[(triple7)] @1: Bob is cold.[(((triple1) -> rule2))] Bob is red.[(((triple2) -> rule8) OR ((((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule7)) -> rule1)) -> rule8))] Charlie is cold.[(((triple4) -> rule2))] Harry is cold.[(((triple7) -> rule2))] @2: Bob is smart.[(((((triple1) -> rule2)) -> rule7))] Charlie is white.[(((((triple4) -> rule2) triple5) -> rule1) OR ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule1))] Harry is smart.[(((((triple7) -> rule2)) -> rule7))] @3: Bob is kind.[(((triple2 ((((triple1) -> rule2)) -> rule7)) -> rule3) OR ((((((triple1) -> rule2)) -> rule7) triple2) -> rule5) OR ((((((triple1) -> rule2)) -> rule7) ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule7)) -> rule1) ((((triple1) -> rule2)) -> rule7)) -> rule3))] Charlie is kind.[(((triple5 ((((triple4) -> rule2) triple5) -> rule1)) -> rule5) OR ((((((triple4) -> rule2) triple5) -> rule1) triple5) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((triple4) -> rule2) triple5) -> rule1)) -> rule5) OR ((((((triple4) -> rule2) triple5) -> rule1) ((((triple4) -> rule2)) -> rule7)) -> rule3) OR ((triple5 ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule1) triple5) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule7)) -> rule1) ((((triple4) -> rule2)) -> rule7)) -> rule3))] Harry is white.[(((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule7)) -> rule1))] @4: Harry is kind.[(((((((triple7) -> rule2)) -> rule7) ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule7)) -> rule1) ((((triple7) -> rule2)) -> rule7)) -> rule3))]