Erin is blue. Erin is cold. Erin is kind. Erin is nice. Erin is young. Harry is big. Harry is young. If something is blue then it is big. All blue, young things are kind. Big things are nice. All kind, blue things are nice. If Erin is young and Erin is cold then Erin is big. All cold, blue things are smart.
Harry is not kind.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is kind.[(triple3 OR ((triple1 triple5) -> rule2))] Erin is nice.[(triple4 OR ((triple3 triple1) -> rule4) OR ((((triple1) -> rule1)) -> rule3) OR ((((triple5 triple2) -> rule5)) -> rule3) OR ((((triple1 triple5) -> rule2) triple1) -> rule4))] Erin is young.[(triple5)] Harry is big.[(triple6)] Harry is young.[(triple7)] @1: Erin is big.[(((triple1) -> rule1) OR ((triple5 triple2) -> rule5))] Erin is smart.[(((triple2 triple1) -> rule6))] Harry is nice.[(((triple6) -> rule3))]