Charlie is kind. Charlie is round. Charlie is white. Dave is smart. Erin is cold. Erin is not smart. Harry is round. All green people are white. If someone is cold and green then they are not white. If Charlie is kind and Charlie is smart then Charlie is not nice. If someone is green and not round then they are cold. Smart people are cold. All round people are smart. If someone is cold then they are kind. If Erin is not white and Erin is not kind then Erin is nice.
Dave is round.
@0: Charlie is kind.[(triple1 OR ((((((triple2) -> rule6)) -> rule5)) -> rule7))] Charlie is round.[(triple2)] Charlie is white.[(triple3)] Dave is smart.[(triple4)] Erin is cold.[(triple5)] Erin is not smart.[(triple6)] Harry is round.[(triple7)] @1: Charlie is smart.[(((triple2) -> rule6))] Dave is cold.[(((triple4) -> rule5))] Erin is kind.[(((triple5) -> rule7))] Harry is smart.[(((triple7) -> rule6))] @2: Charlie is cold.[(((((triple2) -> rule6)) -> rule5))] Charlie is not nice.[(((triple1 ((triple2) -> rule6)) -> rule3) OR ((((((((triple2) -> rule6)) -> rule5)) -> rule7) ((triple2) -> rule6)) -> rule3))] Dave is kind.[(((((triple4) -> rule5)) -> rule7))] Harry is cold.[(((((triple7) -> rule6)) -> rule5))] @3: Harry is kind.[(((((((triple7) -> rule6)) -> rule5)) -> rule7))]