Gary is kind. Gary is nice. Gary is quiet. Gary is rough. Gary is round. Gary is white. Gary is young. All rough people are white. Quiet, nice people are round. If someone is quiet and kind then they are nice. All nice people are quiet. If someone is rough and not quiet then they are young. Quiet, white people are young.
Gary is nice.
@0: Gary is kind.[(triple1)] Gary is nice.[(triple2 OR ((triple3 triple1) -> rule3))] Gary is quiet.[(triple3 OR ((triple2) -> rule4))] Gary is rough.[(triple4)] Gary is round.[(triple5 OR ((triple3 triple2) -> rule2) OR ((triple3 ((triple3 triple1) -> rule3)) -> rule2) OR ((((triple2) -> rule4) triple2) -> rule2) OR ((((triple2) -> rule4) ((triple3 triple1) -> rule3)) -> rule2))] Gary is white.[(triple6 OR ((triple4) -> rule1))] Gary is young.[(triple7 OR ((triple3 triple6) -> rule6) OR ((triple3 ((triple4) -> rule1)) -> rule6) OR ((((triple2) -> rule4) triple6) -> rule6) OR ((((triple2) -> rule4) ((triple4) -> rule1)) -> rule6))]