Bob is white. Erin is big. Erin is green. Gary is green. Gary is nice. Harry is furry. Harry is kind. All white, nice people are green. If someone is white then they are nice. If someone is white and green then they are nice. All kind, nice people are big. If someone is big then they are cold. All green people are cold. If Erin is kind and Erin is furry then Erin is cold. All cold people are kind. If someone is white and not green then they are not kind.
Erin is big.
@0: Bob is white.[(triple1)] Erin is big.[(triple2)] Erin is green.[(triple3)] Gary is green.[(triple4)] Gary is nice.[(triple5)] Harry is furry.[(triple6)] Harry is kind.[(triple7)] @1: Bob is nice.[(((triple1) -> rule2))] Erin is cold.[(((triple2) -> rule5) OR ((triple3) -> rule6))] Gary is cold.[(((triple4) -> rule6))] @2: Bob is green.[(((triple1 ((triple1) -> rule2)) -> rule1))] Erin is kind.[(((((triple2) -> rule5)) -> rule8) OR ((((triple3) -> rule6)) -> rule8))] Gary is kind.[(((((triple4) -> rule6)) -> rule8))] @3: Bob is cold.[(((((triple1 ((triple1) -> rule2)) -> rule1)) -> rule6))] Gary is big.[(((((((triple4) -> rule6)) -> rule8) triple5) -> rule4))] @4: Bob is kind.[(((((((triple1 ((triple1) -> rule2)) -> rule1)) -> rule6)) -> rule8))] @5: Bob is big.[(((((((((triple1 ((triple1) -> rule2)) -> rule1)) -> rule6)) -> rule8) ((triple1) -> rule2)) -> rule4))]