Charlie is cold. Charlie is nice. Charlie is smart. Erin is cold. Erin is kind. Erin is not smart. Erin is young. Fiona is kind. Harry is not big. Harry is rough. Harry is smart. Harry is young. If Fiona is kind then Fiona is young. All nice people are young. If someone is cold and big then they are young. If Harry is nice and Harry is smart then Harry is cold. All young people are cold. All young people are kind.
Erin is big.
@0: Charlie is cold.[(triple1 OR ((((triple2) -> rule2)) -> rule5))] Charlie is nice.[(triple2)] Charlie is smart.[(triple3)] Erin is cold.[(triple4 OR ((triple7) -> rule5))] Erin is kind.[(triple5 OR ((triple7) -> rule6))] Erin is not smart.[(triple6)] Erin is young.[(triple7)] Fiona is kind.[(triple8)] Harry is not big.[(triple9)] Harry is rough.[(triple10)] Harry is smart.[(triple11)] Harry is young.[(triple12)] @1: Charlie is young.[(((triple2) -> rule2))] Fiona is young.[(((triple8) -> rule1))] Harry is cold.[(((triple12) -> rule5))] Harry is kind.[(((triple12) -> rule6))] @2: Charlie is kind.[(((((triple2) -> rule2)) -> rule6))] Fiona is cold.[(((((triple8) -> rule1)) -> rule5))]