Bob is cold. Bob is quiet. Bob is white. Bob is young. Charlie is quiet. Charlie is young. Gary is quiet. If something is quiet and cold then it is white. Quiet, young things are cold. If Charlie is big and Charlie is rough then Charlie is young.
Charlie is cold.
@0: Bob is cold.[(triple1 OR ((triple2 triple4) -> rule2))] Bob is quiet.[(triple2)] Bob is white.[(triple3 OR ((triple2 triple1) -> rule1) OR ((triple2 ((triple2 triple4) -> rule2)) -> rule1))] Bob is young.[(triple4)] Charlie is quiet.[(triple5)] Charlie is young.[(triple6)] Gary is quiet.[(triple7)] @1: Charlie is cold.[(((triple5 triple6) -> rule2))] @2: Charlie is white.[(((triple5 ((triple5 triple6) -> rule2)) -> rule1))]