Bob is not blue. Bob is not green. Bob is smart. Bob is white. Erin is cold. Erin is not red. Erin is young. Harry is blue. Harry is cold. Harry is green. Harry is white. Harry is young. If someone is white then they are cold. If Harry is blue and Harry is young then Harry is red. If Harry is blue and Harry is not white then Harry is young. If someone is smart and not cold then they are not blue. Smart people are young. Red, smart people are young. All young, white people are red. All smart, white people are red.
Erin is red.
@0: Bob is not blue.[(triple1)] Bob is not green.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4)] Erin is cold.[(triple5)] Erin is not red.[(triple6)] Erin is young.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9 OR ((triple11) -> rule1))] Harry is green.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)] @1: Bob is cold.[(((triple4) -> rule1))] Bob is red.[(((triple3 triple4) -> rule8) OR ((((triple3) -> rule5) triple4) -> rule7))] Bob is young.[(((triple3) -> rule5) OR ((((triple3 triple4) -> rule8) triple3) -> rule6))] Harry is red.[(((triple12 triple11) -> rule7) OR ((triple8 triple12) -> rule2))]