Bob is green. Erin is round. Erin is smart. Harry is cold. Harry is green. Harry is round. Harry is white. White, green things are smart. If something is red and smart then it is cold. Cold, green things are round. If something is red then it is green. All green things are white. All nice, green things are round.
Erin is not green.
@0: Bob is green.[(triple1)] Erin is round.[(triple2)] Erin is smart.[(triple3)] Harry is cold.[(triple4)] Harry is green.[(triple5)] Harry is round.[(triple6 OR ((triple4 triple5) -> rule3))] Harry is white.[(triple7 OR ((triple5) -> rule5))] @1: Bob is white.[(((triple1) -> rule5))] Harry is smart.[(((triple7 triple5) -> rule1) OR ((((triple5) -> rule5) triple5) -> rule1))] @2: Bob is smart.[(((((triple1) -> rule5) triple1) -> rule1))]