Charlie is cold. Charlie is kind. Charlie is not nice. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is young. Fiona is nice. Fiona is rough. Fiona is young. Quiet people are young. If Charlie is quiet then Charlie is young. If someone is smart then they are cold. If someone is young and not rough then they are cold. If someone is rough and not young then they are nice. If Charlie is kind and Charlie is not quiet then Charlie is cold. Smart, young people are kind. Nice people are smart.
Charlie is not nice.
@0: Charlie is cold.[(triple1 OR ((triple6) -> rule3))] Charlie is kind.[(triple2 OR ((triple6 triple7) -> rule7) OR ((triple6 ((triple4) -> rule1)) -> rule7) OR ((triple6 ((triple4) -> rule2)) -> rule7))] Charlie is not nice.[(triple3)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7 OR ((triple4) -> rule1) OR ((triple4) -> rule2))] Fiona is nice.[(triple8)] Fiona is rough.[(triple9)] Fiona is young.[(triple10)] @1: Fiona is smart.[(((triple8) -> rule8))] @2: Fiona is cold.[(((((triple8) -> rule8)) -> rule3))] Fiona is kind.[(((((triple8) -> rule8) triple10) -> rule7))]