Bob is big. Bob is cold. Bob is not nice. Bob is not quiet. Bob is not young. Charlie is big. Dave is not big. Dave is round. Dave is young. Gary is big. Gary is not round. Gary is young. If something is cold then it is kind. If something is young then it is cold.
Gary is kind.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is not nice.[(triple3)] Bob is not quiet.[(triple4)] Bob is not young.[(triple5)] Charlie is big.[(triple6)] Dave is not big.[(triple7)] Dave is round.[(triple8)] Dave is young.[(triple9)] Gary is big.[(triple10)] Gary is not round.[(triple11)] Gary is young.[(triple12)] @1: Bob is kind.[(((triple2) -> rule1))] Dave is cold.[(((triple9) -> rule2))] Gary is cold.[(((triple12) -> rule2))] @2: Dave is kind.[(((((triple9) -> rule2)) -> rule1))] Gary is kind.[(((((triple12) -> rule2)) -> rule1))]