Charlie is big. Charlie is quiet. Charlie is young. Harry is kind. Harry is nice. Harry is quiet. Harry is young. Big, cold people are kind. All young, quiet people are cold. If Charlie is big and Charlie is kind then Charlie is nice.
Charlie is nice.
@0: Charlie is big.[(triple1)] Charlie is quiet.[(triple2)] Charlie is young.[(triple3)] Harry is kind.[(triple4)] Harry is nice.[(triple5)] Harry is quiet.[(triple6)] Harry is young.[(triple7)] @1: Charlie is cold.[(((triple3 triple2) -> rule2))] Harry is cold.[(((triple7 triple6) -> rule2))] @2: Charlie is kind.[(((triple1 ((triple3 triple2) -> rule2)) -> rule1))] @3: Charlie is nice.[(((triple1 ((triple1 ((triple3 triple2) -> rule2)) -> rule1)) -> rule3))]