Dave is kind. Dave is nice. Dave is quiet. Dave is round. Dave is smart. Dave is white. Dave is young. Gary is quiet. Gary is round. Gary is smart. All kind things are round. If something is quiet then it is young. All young, kind things are round. If Gary is young and Gary is smart then Gary is quiet. If Gary is quiet and Gary is kind then Gary is smart. Smart things are young.
Gary is not young.
@0: Dave is kind.[(triple1)] Dave is nice.[(triple2)] Dave is quiet.[(triple3)] Dave is round.[(triple4 OR ((triple1) -> rule1) OR ((triple7 triple1) -> rule3) OR ((((triple3) -> rule2) triple1) -> rule3) OR ((((triple5) -> rule6) triple1) -> rule3))] Dave is smart.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple3) -> rule2) OR ((triple5) -> rule6))] Gary is quiet.[(triple8 OR ((((triple10) -> rule6) triple10) -> rule4))] Gary is round.[(triple9)] Gary is smart.[(triple10)] @1: Gary is young.[(((triple10) -> rule6) OR ((triple8) -> rule2))]